1.0.48.9: better source information for compile-time type errors