because we catch the inconsistency at compile time
# general
w
because we catch the inconsistency at compile time