1 2 3 4 5 6 7 8
use crate::records::substitution::Substitution; use crate::type_aliases::type_id::TypeId; impl Substitution { pub fn dont_traverse_into_type_id(&mut self, ty: TypeId) { self.no_traverse_types.insert(ty); } }