fn set_taint( gcx: Gcx<'_>, var_id: VariableId, is_tainted: bool, tainted: &mut HashSet<VariableId>, )