fn collect_modifier_safety<'hir>( gcx: Gcx<'hir>, hir: &'hir Hir<'hir>, invocation: &'hir Modifier<'hir>, out_safe: &mut HashSet<VariableId>, )