Skip to main content

guard_vars

Function guard_vars 

Source
pub fn guard_vars<'gcx>(
    gcx: Gcx<'gcx>,
    func_id: FunctionId,
) -> HashSet<VariableId>
Expand description

State variables the access checks of func_id and its modifiers (up to _) depend on.