Introduce #[diagnostic::on_type_error(message)] - #155200
Merged
rust-bors[bot] merged 1 commit intoJun 14, 2026
Merged
rust-bors / Bors auto build
succeeded
Jun 14, 2026 in 3h 25m 10s
Bors auto build
Loading