`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`#108079

Merged

bors merged 1 commit intorust-lang:masterfrom WaffleLapkin:if_not_now_then_when

Feb 15, 2023

+161-286

Commits on Feb 15, 2023

if $c:expr { Some($r:expr) } else { None } =>> $c.then(|| $r)
WaffleLapkin
committed