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