pub fn guard_vars<'gcx>( gcx: Gcx<'gcx>, func_id: FunctionId, ) -> HashSet<VariableId>
State variables the access checks of func_id and its modifiers (up to _) depend on.
func_id
_