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.