Skip to main content

for_each_guard

Function for_each_guard 

Source
fn for_each_guard<'gcx>(
    gcx: Gcx<'gcx>,
    body: Block<'gcx>,
    seen: &mut HashSet<FunctionId>,
    f: &mut impl FnMut(Guard<'_>) -> ControlFlow<()>,
) -> ControlFlow<()>
Expand description

Calls f for every access check that dominates body (runs unconditionally before the _ placeholder) until it breaks. seen guards the recursion into called functions.