Skip to content

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

Merged
bors merged 2 commits into
rust-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"
Merged

if $c:expr { Some($r:expr) } else { None } =>> $c.then(|| $r)#108090
bors merged 2 commits into
rust-lang:masterfrom
WaffleLapkin:if_not_now_then_when…

Replace some `then`s with some `then_some`s

5bf6a46
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs