fn update_taint( hir: &Hir<'_>, var_id: VariableId, is_tainted: bool, tainted: &mut HashSet<VariableId>, )