Skip to main content

luaur_analysis/methods/
unifier_2_unify_unifier_2_alt_k.rs

1use crate::enums::unify_result::UnifyResult;
2use crate::records::any_type::AnyType;
3use crate::records::builtin_types::BuiltinTypes;
4use crate::records::function_type::FunctionType;
5use crate::records::unifier_2::Unifier2;
6use crate::type_aliases::type_pack_id::TypePackId;
7
8impl Unifier2 {
9    pub fn unify_any_type_function_type(
10        &mut self,
11        _sub_any: &AnyType,
12        super_fn: &FunctionType,
13    ) -> UnifyResult {
14        let builtin_types = unsafe { &*self.builtin_types.as_ptr() };
15        let arg_result =
16            self.unify_type_pack_id_type_pack_id(super_fn.arg_types, builtin_types.anyTypePack);
17        let ret_result =
18            self.unify_type_pack_id_type_pack_id(builtin_types.anyTypePack, super_fn.ret_types);
19        arg_result & ret_result
20    }
21}