Skip to main content

luaur_analysis/functions/
assert_reasoning_valid_deprecated.rs

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