pub fn prevent_generalize(ty: &mut Type)