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
14
15
16
17
18
19
20
21

use crate::functions::is_plain_tyvar::is_plain_tyvar;
use crate::functions::is_shallow_inhabited::is_shallow_inhabited;
use crate::functions::tyvar_index::tyvar_index;
use crate::type_aliases::normalized_tyvars::NormalizedTyvars;

pub fn is_normalized_tyvar(tyvars: &NormalizedTyvars) -> bool {
    for (tyvar, intersect) in tyvars {
        if !is_plain_tyvar(*tyvar) {
            return false;
        }
        if !is_shallow_inhabited(intersect) {
            return false;
        }
        for (other, _) in &intersect.tyvars {
            if tyvar_index(*other) <= tyvar_index(*tyvar) {
                return false;
            }
        }
    }
    true
}