Would it make sense to allow use of something like
#[rustc_on_unimplemented()] for general library authors?
Right now if a missing trait is encountered a rather cumbersome error is shown. The authors could possibly provide an additional hint to the error as an annotation such as it is done with
Fn already using
There are some good uses cases especially in the embedded space where traits or their lack thereof is used as compile time checks. Missing one then results in very complex errors, but if this annotation could be made public the authors could provide meaningful hints for the context.
See this reddit topic for more disscussion.