if $c:expr { Some($r:expr) } else { None } =>> $c.then(|| $r)#108090
Merged
bors merged 2 commits intorust-lang:masterfrom WaffleLapkin:if_not_now_then_when…Feb 16, 2023
Hidden character warning
The head ref may contain hidden characters: "if_not_now_then_when\u2026"
+165-286
