fn guard_activation(
gcx: Gcx<'_>,
stmts: &[&Stmt<'_>],
seen: &mut BTreeSet<FunctionId>,
) -> Option<(VariableId, Operand)>Expand description
The lock and value set by the last of stmts (directly or via an argument-less helper), if
an earlier statement rejects that value.