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
22
23

use crate::enums::unify_result::UnifyResult;
use crate::functions::are_compatible::are_compatible;
use crate::records::unifier_2::Unifier2;
use crate::records::union_type::UnionType;
use crate::type_aliases::type_id::TypeId;

impl Unifier2 {
    pub fn unify_union_type_type_id(
        &mut self,
        sub_union: &UnionType,
        super_ty: TypeId,
    ) -> UnifyResult {
        let mut result = UnifyResult::Ok;

        for sub_option in sub_union.options.iter() {
            if unsafe { are_compatible(*sub_option, super_ty) } {
                result &= self.unify_type_id_type_id(*sub_option, super_ty);
            }
        }

        result
    }
}