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::find_simplification_blockers::FindSimplificationBlockers;
use crate::records::iterative_type_visitor::IterativeTypeVisitorTrait;
use crate::type_aliases::type_id::TypeId;

pub fn must_defer_intersection(ty: TypeId) -> bool {
    let mut bts = FindSimplificationBlockers {
        base: Default::default(),
        found: false,
    };
    bts.find_simplification_blockers_find_simplification_blockers();
    bts.run_type_id(ty);
    bts.found
}