fn collect_modifier_writes<'hir>(
hir: &'hir Hir<'hir>,
function: &'hir Function<'hir>,
candidates: &HashSet<VariableId>,
argument_writes: &mut HashSet<VariableId>,
body_writes: &mut HashSet<VariableId>,
visited_modifiers: &mut HashSet<FunctionId>,
)