luaur-analysis 0.1.3

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

use crate::functions::subsumes_strict::subsumes_strict;
use crate::records::scope::Scope;

pub fn subsumes(left: *mut Scope, right: *mut Scope) -> bool {
    if left.is_null() || right.is_null() {
        return false;
    }

    left == right || subsumes_strict(left, right)
}