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
24
25
26

use crate::records::intersection_builder::IntersectionBuilder;
use crate::records::intersection_type::IntersectionType;
use crate::records::type_ids::TypeIds;
use crate::type_aliases::type_id::TypeId;

impl IntersectionBuilder {
    pub fn build(&mut self) -> TypeId {
        if self.is_bottom {
            return unsafe { (*self.builtin_types).neverType };
        }

        if self.parts.size() == 0 {
            return unsafe { (*self.builtin_types).unknownType };
        }

        if self.parts.size() == 1 {
            return self.parts.front();
        }

        unsafe {
            (*self.arena).add_type(IntersectionType {
                parts: self.parts.take(),
            })
        }
    }
}