Add Option::is_some_with and Result::is_{ok,err}_with#93051
Merged
bors merged 5 commits intorust-lang:masterfrom Jan 19, 2022
Merged
Add Option::is_some_with and Result::is_{ok,err}_with#93051bors merged 5 commits intorust-lang:masterfrom
bors merged 5 commits intorust-lang:masterfrom