Skip to main content

luaur_analysis/methods/
subtyping_unifier_subtyping_unifier.rs

1use crate::records::builtin_types::BuiltinTypes;
2use crate::records::internal_error_reporter::InternalErrorReporter;
3use crate::records::subtyping_unifier::SubtypingUnifier;
4use crate::records::type_arena::TypeArena;
5
6impl SubtypingUnifier {
7    pub fn subtyping_unifier(
8        arena: *mut TypeArena,
9        builtin_types: *mut BuiltinTypes,
10        reporter: *mut InternalErrorReporter,
11    ) -> Self {
12        Self {
13            arena,
14            builtin_types,
15            reporter,
16        }
17    }
18}