Skip to main content

luaur_analysis/methods/
unifier_2_unify_unifier_2.rs

1use crate::enums::unify_result::UnifyResult;
2use crate::records::unifier_2::Unifier2;
3use crate::type_aliases::type_id::TypeId;
4
5impl Unifier2 {
6    pub fn unify(&mut self, sub_ty: TypeId, super_ty: TypeId) -> UnifyResult {
7        self.iteration_count = 0;
8        self.unify_type_id_type_id(sub_ty, super_ty)
9    }
10}