It is unhelpful here because the expression will get evaluated right
away anyway, thus emitting a redundant warning followed by an equivalent
runtime exception. If the expression were an ill-typed pure expression,
_three_ equivalent type errors would get emitted (due to the two-phase
typechecking done in 'Plan C')