Skip to main content

luaur_analysis/methods/
unifier_try_unify_unifier_alt_c.rs

1//! Source: `Analysis/src/Unifier.cpp` (Unifier::tryUnify(TypePackId,...), L1394-1399)
2use crate::records::unifier::Unifier;
3use crate::type_aliases::type_pack_id::TypePackId;
4
5impl Unifier {
6    /// `void Unifier::tryUnify(TypePackId subTp, TypePackId superTp, bool isFunctionCall)`
7    pub fn try_unify_type_pack_id_type_pack_id_bool_entry(
8        &mut self,
9        sub_tp: TypePackId,
10        super_tp: TypePackId,
11        is_function_call: bool,
12    ) {
13        unsafe {
14            (*self.shared_state).counters.iteration_count = 0;
15        }
16
17        self.try_unify_type_pack_id_type_pack_id_bool(sub_tp, super_tp, is_function_call);
18    }
19}