Skip to main content

luaur_analysis/functions/
assert_reasoning_valid_subtyping.rs

1use crate::records::builtin_types::BuiltinTypes;
2use crate::records::subtyping_result::SubtypingResult;
3use crate::records::type_arena::TypeArena;
4
5pub fn assert_reasoning_valid<TID>(
6    sub_ty: TID,
7    super_ty: TID,
8    result: &SubtypingResult,
9    builtin_types: *mut BuiltinTypes,
10    arena: *mut TypeArena,
11) {
12    if !luaur_common::FFlag::DebugLuauSubtypingCheckPathValidity.get() {
13        return;
14    }
15    for reasoning in result.reasoning.iter() {
16        // LUAU_ASSERT!(traverse(sub_ty, reasoning.sub_path, builtin_types, arena));
17        // LUAU_ASSERT!(traverse(super_ty, reasoning.super_path, builtin_types, arena));
18    }
19}