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

use crate::functions::get_mutable_type_pack::get_mutable_type_pack_id;
use crate::records::substitution::Substitution;
use crate::records::type_function_instance_type_pack::TypeFunctionInstanceTypePack;
use crate::records::type_pack::TypePack;
use crate::records::variadic_type_pack::VariadicTypePack;
use crate::type_aliases::type_pack_id::TypePackId;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl Substitution {
    pub fn replace_children_type_pack_id(&mut self, tp: TypePackId) {
        unsafe {
            LUAU_ASSERT!(tp == (*self.base.log).follow_type_pack_id(tp));
        }

        if self.base.ignore_children_type_pack_id(tp) {
            return;
        }

        if unsafe { (*tp).owningArena != self.arena } {
            return;
        }

        if !unsafe { get_mutable_type_pack_id::<TypePack>(tp) }.is_null() {
            let tpp = unsafe { &mut *get_mutable_type_pack_id::<TypePack>(tp) };
            for tv in tpp.head.iter_mut() {
                *tv = self.replace_type_id(*tv);
            }
            if let Some(tail) = tpp.tail {
                tpp.tail = Some(self.replace_type_pack_id(tail));
            }
        } else if !unsafe { get_mutable_type_pack_id::<VariadicTypePack>(tp) }.is_null() {
            let vtp = unsafe { &mut *get_mutable_type_pack_id::<VariadicTypePack>(tp) };
            vtp.ty = self.replace_type_id(vtp.ty);
        } else if !unsafe { get_mutable_type_pack_id::<TypeFunctionInstanceTypePack>(tp) }.is_null()
        {
            let tfitp =
                unsafe { &mut *get_mutable_type_pack_id::<TypeFunctionInstanceTypePack>(tp) };
            for t in tfitp.typeArguments.iter_mut() {
                *t = self.replace_type_id(*t);
            }
            for t in tfitp.packArguments.iter_mut() {
                *t = self.replace_type_pack_id(*t);
            }
        }
    }
}