luaur-analysis 0.1.0

Luau type checker and type inference (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

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

pub fn assert_reasoning_valid(
    sub_ty: TableIndexer,
    super_ty: TableIndexer,
    result: &SubtypingResult,
    builtin_types: *mut BuiltinTypes,
    arena: *mut TypeArena,
) {
}