Skip to main content

luaur_analysis/methods/
unifier_2_unifier_2_unifier_2.rs

1use crate::records::builtin_types::BuiltinTypes;
2use crate::records::internal_error_reporter::InternalErrorReporter;
3use crate::records::scope::Scope;
4use crate::records::type_arena::TypeArena;
5use crate::records::type_check_limits::TypeCheckLimits;
6use crate::records::unifier_2::Unifier2;
7use core::ptr::NonNull;
8use luaur_common::DFInt;
9
10impl Unifier2 {
11    pub fn unifier_2_not_null_type_arena_not_null_builtin_types_not_null_scope_not_null_internal_error_reporter(
12        arena: NonNull<TypeArena>,
13        builtin_types: NonNull<BuiltinTypes>,
14        scope: NonNull<Scope>,
15        ice: NonNull<InternalErrorReporter>,
16    ) -> Self {
17        Self::unifier_2_not_null_type_arena_not_null_builtin_types_not_null_scope_not_null_internal_error_reporter_dense_hash_set_void(
18            arena,
19            builtin_types,
20            scope,
21            ice,
22            core::ptr::null_mut(),
23        )
24    }
25}