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

use std::collections::HashSet;

use crate::records::union_type::UnionType;
use crate::type_aliases::type_id::TypeId;

pub fn is_subset(super_: &UnionType, sub: &UnionType) -> bool {
    let mut super_types: HashSet<TypeId> = HashSet::new();

    for id in &super_.options {
        super_types.insert(*id);
    }

    for id in &sub.options {
        if !super_types.contains(id) {
            return false;
        }
    }

    true
}