We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
DerivedObligationCause
then
then_some
if $c:expr { Some($r:expr) } else { None }
$c.then(|| $r)