Skip to main content

luaur_analysis/methods/
unifier_can_unify_unifier_alt_b.rs

1use crate::records::unifier::Unifier;
2use crate::type_aliases::error_vec::ErrorVec;
3use crate::type_aliases::type_pack_id::TypePackId;
4
5impl Unifier {
6    pub fn can_unify_type_pack_id_type_pack_id_bool(
7        &mut self,
8        sub_tp: TypePackId,
9        super_tp: TypePackId,
10        is_function_call: bool,
11    ) -> ErrorVec {
12        let mut child = self.unifier_make_child_unifier();
13        child.try_unify_type_pack_id_type_pack_id_bool(sub_tp, super_tp, is_function_call);
14        child.errors
15    }
16}