Hang on to the type information even when the typechecker fails.