Skip to main content

luaur_analysis/methods/
unifier_can_unify_unifier.rs

1use crate::records::unifier::Unifier;
2use crate::type_aliases::error_vec::ErrorVec;
3use crate::type_aliases::type_id::TypeId;
4
5impl Unifier {
6    pub fn can_unify_type_id_type_id(&mut self, sub_ty: TypeId, super_ty: TypeId) -> ErrorVec {
7        let mut s = self.unifier_make_child_unifier();
8        s.try_unify_type_id_type_id_bool_bool_literal_properties(
9            sub_ty, super_ty, false, false, None,
10        );
11        s.errors
12    }
13}