Report the note when specified in diagnostic::on_unimplemented#130123
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 11, 2024
note when specified in diagnostic::on_unimplemented#130123