fn collect_write_taint_sources_into( hir: &Hir<'_>, taint: &HashMap<VariableId, HashSet<VariableId>>, expr: &Expr<'_>, out: &mut HashSet<VariableId>, )