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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

use crate::functions::get_type_alt_j::get_type_id;
use crate::records::boolean_singleton::BooleanSingleton;
use crate::records::never_type::NeverType;
use crate::records::normalizer::Normalizer;
use crate::records::singleton_type::SingletonType;
use crate::type_aliases::type_id::TypeId;

impl Normalizer {
    pub fn intersection_of_bools(&mut self, here: TypeId, there: TypeId) -> TypeId {
        self.consume_fuel();

        if !unsafe { get_type_id::<NeverType>(here).is_null() } {
            return here;
        }
        if !unsafe { get_type_id::<NeverType>(there).is_null() } {
            return there;
        }

        if let Some(hbool) = unsafe {
            get_type_id::<SingletonType>(here)
                .as_ref()
                .and_then(|s| s.variant.get_if::<BooleanSingleton>())
        } {
            if let Some(tbool) = unsafe {
                get_type_id::<SingletonType>(there)
                    .as_ref()
                    .and_then(|s| s.variant.get_if::<BooleanSingleton>())
            } {
                if hbool.value == tbool.value {
                    return here;
                } else {
                    return unsafe { (*self.builtin_types).neverType };
                }
            }

            return here;
        }

        there
    }
}