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