Skip to content

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

Merged
bors merged 2 commits into
rust-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 into
rust-lang:masterfrom
weiznich:improve_diagnostic_on_unimplemented_warnings

Commits

Commits on Oct 19, 2023

Commits on Oct 20, 2023