luaur-analysis 0.1.3

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use crate::records::builtin_types::BuiltinTypes;
use crate::records::subtyping_result::SubtypingResult;
use crate::records::type_arena::TypeArena;

pub fn assert_reasoning_valid<TID>(
    sub_ty: TID,
    super_ty: TID,
    result: &SubtypingResult,
    builtin_types: *mut BuiltinTypes,
    arena: *mut TypeArena,
) {
    if !luaur_common::FFlag::DebugLuauSubtypingCheckPathValidity.get() {
        return;
    }
    for reasoning in result.reasoning.iter() {
        // LUAU_ASSERT!(traverse(sub_ty, reasoning.sub_path, builtin_types, arena));
        // LUAU_ASSERT!(traverse(super_ty, reasoning.super_path, builtin_types, arena));
    }
}