Most of our error messages derive from items in the source code, such as incompatible types are direct result from types in the function signatures. We should be able to reuse the span information for those types when we emit things like <X as ExternType>::OutputType. This should result in rustc pointing at the X usage in the function in case that extern type declaration causes problems due to X not implementing ExternType for example..
Rantanen
commented
4 years ago
Most of our error messages derive from items in the source code, such as incompatible types are direct result from types in the function signatures. We should be able to reuse the span information for those types when we emit things like
<X as ExternType>::OutputType. This should result in rustc pointing at theXusage in the function in case that extern type declaration causes problems due toXnot implementingExternTypefor example..