Function guard_restoration 

fn guard_restoration(
    gcx: Gcx<'_>,
    stmt: &Stmt<'_>,
) -> Option<(VariableId, Operand)>

The lock and value restored by stmt (directly or via a single-statement helper).