Skip to main content

luaur_analysis/methods/
unifier_2_unify_unifier_2_alt_o.rs

1use crate::enums::unify_result::UnifyResult;
2use crate::records::any_type::AnyType;
3use crate::records::builtin_types::BuiltinTypes;
4use crate::records::metatable_type::MetatableType;
5use crate::records::unifier_2::Unifier2;
6use crate::type_aliases::type_id::TypeId;
7
8impl Unifier2 {
9    pub fn unify_metatable_type_any_type(
10        &mut self,
11        sub_metatable: &MetatableType,
12        _super_any: &AnyType,
13    ) -> UnifyResult {
14        let builtin_types = unsafe { &*self.builtin_types.as_ptr() };
15        let metatable_result =
16            self.unify_type_id_type_id(sub_metatable.metatable, builtin_types.anyType);
17        if metatable_result != UnifyResult::Ok {
18            return metatable_result;
19        }
20        self.unify_type_id_type_id(sub_metatable.table, builtin_types.anyType)
21    }
22}