Skip to content

Allows #[diagnostic::on_unimplemented] attributes to have multiple#117205

Merged
bors merged 1 commit intorust-lang:masterfrom
weiznich:multiple_notes_for_on_unimplemented
Oct 30, 2023
Merged

Allows `#[diagnostic::on_unimplemented]` attributes to have multiple#117205
bors merged 1 commit intorust-lang:masterfrom
weiznich:multiple_notes_for_on_unimplemented

Commits

Commits on Oct 27, 2023