Allows #[diagnostic::on_unimplemented] attributes to have multiple#117205
Merged
bors merged 1 commit intoOct 30, 2023
#[diagnostic::on_unimplemented] attributes to have multiple#117205