Skip to content

Improve the warning messages for the #[diagnostic::on_unimplemented]#116931

Merged
bors merged 2 commits intorust-lang:masterfrom
weiznich:improve_diagnostic_on_unimplemented_warnings
Oct 26, 2023
Merged

Improve the warning messages for the `#[diagnostic::on_unimplemented]`#116931
bors merged 2 commits intorust-lang:masterfrom
weiznich:improve_diagnostic_on_unimplemented_warnings

Commits

Commits on Oct 19, 2023

Commits on Oct 20, 2023