fn collect_write_taint_sources( hir: &Hir<'_>, taint: &HashMap<VariableId, HashSet<VariableId>>, expr: &Expr<'_>, ) -> HashSet<VariableId>