luaur-analysis 0.1.1

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::type_ids::TypeIds;
use crate::records::union_builder::UnionBuilder;
use crate::records::union_type::UnionType;
use crate::type_aliases::type_id::TypeId;

impl UnionBuilder {
    pub fn build(&mut self) -> TypeId {
        if self.is_top {
            return unsafe { (*self.builtin_types).unknownType };
        }

        if self.options.size() == 0 {
            return unsafe { (*self.builtin_types).neverType };
        }

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

        let options_vec = self.options.take();
        let union_type = UnionType {
            options: options_vec,
        };
        unsafe { (*self.arena).add_type(union_type) }
    }
}