Skip to main content

try_branch_effect

rapx::verify::call_summary::interprocedural

Function try_branch_effect 

Source 
pub(crate) fn try_branch_effect(
    tcx: TyCtxt<'_>,
    callee: DefId,
) -> Option<CallEffect>
Expand description

Detect <Option<T> as Try>::branch: Option<T> -> ControlFlow<Option<!>, T>. The Continue payload (field 0) equals the Some payload (field 0), so a ?-operator if let Some(..) = expr? unwrap keeps the payload’s provenance.