luaur_analysis/methods/
subtyping_subtyping_subtyping_alt_c.rs1use crate::records::builtin_types::BuiltinTypes;
2use crate::records::internal_error_reporter::InternalErrorReporter;
3use crate::records::normalizer::Normalizer;
4use crate::records::subtyping::Subtyping;
5use crate::records::type_arena::TypeArena;
6use crate::records::type_function_runtime::TypeFunctionRuntime;
7
8impl Subtyping {
9 pub fn subtyping_not_null_builtin_types_not_null_type_arena_not_null_normalizer_not_null_type_function_runtime_not_null_internal_error_reporter(
10 &mut self,
11 builtin_types: *mut BuiltinTypes,
12 type_arena: *mut TypeArena,
13 normalizer: *mut Normalizer,
14 type_function_runtime: *mut TypeFunctionRuntime,
15 ice_reporter: *mut InternalErrorReporter,
16 ) {
17 self.builtin_types = builtin_types;
18 self.arena = type_arena;
19 self.normalizer = normalizer;
20 self.type_function_runtime = type_function_runtime;
21 self.ice_reporter = ice_reporter;
22 }
23}