Skip to main content

luaur_analysis/methods/
unifier_2_unify_unifier_2_alt_b.rs

1//! Node: `cxx:Method:Luau.Analysis:Analysis/src/Unifier2.cpp:143:unifier_2_unify`
2//! Source: `Analysis/src/Unifier2.cpp:143-147` — `Unifier2::unify(TypePackId, TypePackId)`.
3//!
4//! The C++ overloads `unify` on (TypeId, TypeId) vs (TypePackId, TypePackId);
5//! Rust requires distinct method names, so the pack entry point is `unify_pack`.
6
7use crate::enums::unify_result::UnifyResult;
8use crate::records::unifier_2::Unifier2;
9use crate::type_aliases::type_pack_id::TypePackId;
10
11impl Unifier2 {
12    pub fn unify_pack(&mut self, sub_tp: TypePackId, super_tp: TypePackId) -> UnifyResult {
13        self.iteration_count = 0;
14        self.unify_type_pack_id_type_pack_id(sub_tp, super_tp)
15    }
16}