It could be necessary to make this a warning during transition as there might still be some undetected implicite usage of type info in the code generation.
It's also better for debugging to show the type that is causing the trouble.