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