Shorten #[must_use]
Diagnostic Message for Option::is_none
#120194
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 22, 2024
Merged
Shorten `#[must_use]` Diagnostic Message for `Option::is_none`#120194bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom