Handle several #[diagnostic::on_unimplemented] attributes correctly#116642
Merged
bors merged 1 commit intorust-lang:masterfrom weiznich:diagnostic_on_unimplemented_improvementsOct 12, 2023
