impl [Trait for] value {}
gives impl
coherence/resolve errors, rather than indicating that the impl head is not a type
#18119
Labels
A-diagnostics
Area: Messages for errors, warnings, and lints
These would all preferably indicate that the
impl
"type" is not actually a type.The text was updated successfully, but these errors were encountered: