Suggest is_some when we've found Option but expected bool#104036
Merged
bors merged 1 commit intorust-lang:masterfrom Nov 10, 2022
Merged
Suggest is_some when we've found Option but expected bool#104036bors merged 1 commit intorust-lang:masterfrom
is_some when we've found Option but expected bool#104036bors merged 1 commit intorust-lang:masterfrom
