fn protected_variables(
gcx: Gcx<'_>,
hir: &Hir<'_>,
bases: &[ContractId],
) -> HashMap<VariableId, Vec<ProtectionRequirement>>fn protected_variables(
gcx: Gcx<'_>,
hir: &Hir<'_>,
bases: &[ContractId],
) -> HashMap<VariableId, Vec<ProtectionRequirement>>