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
20
21

use crate::records::type_level::TypeLevel;

pub fn subsumes_ty_a_ty_b<TY_A, TY_B>(left: *mut TY_A, right: *mut TY_B) -> bool
where
    TY_A: HasLevel,
    TY_B: HasLevel,
{
    if left.is_null() {
        return true;
    }
    if right.is_null() {
        return false;
    }
    let left_level = unsafe { &*left }.level();
    let right_level = unsafe { &*right }.level();
    left_level.subsumes(&right_level)
}

pub trait HasLevel {
    fn level(&self) -> TypeLevel;
}