Sort-of. That code is invalid in some informal sense, but not invalid as far as the formal typesystem is concerned.

There's also something about 'soundness' one could say.