suggests is_some_and over map().unwrap#11030
Merged
bors merged 8 commits intorust-lang:masterfrom darklyspaced:masterJun 29, 2023
+89-9
Commits
Commits on Jun 27, 2023
- committed
- committed
- committed
- committed
- committed
- committed
