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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

use crate::enums::table_state::TableState;
use crate::functions::get_mutable_type::get_mutable_type_id;
use crate::records::free_type::FreeType;
use crate::records::replace_generics::ReplaceGenerics;
use crate::records::table_type::TableType;
use crate::type_aliases::type_id::TypeId;
use luaur_common::macros::luau_assert::LUAU_ASSERT;
use luaur_common::FFlag;

impl ReplaceGenerics {
    pub fn clean_type_id(&mut self, ty: TypeId) -> TypeId {
        LUAU_ASSERT!(self.is_dirty_type_id(ty));

        let log = self.base.base.log;
        let level = self.level;
        let scope = self.scope;

        if FFlag::LuauReplacerIsSolverAgnostic.get() {
            let ttv = unsafe { (*log).txn_log_get_mutable::<TableType, TypeId>(ty) };
            if !ttv.is_null() {
                let ttv = unsafe { &*ttv };
                let mut clone =
                    TableType::table_type_props_optional_table_indexer_type_level_scope_table_state(
                        &ttv.props,
                        ttv.indexer.clone(),
                        level,
                        scope,
                        TableState::Free,
                    );
                clone.definition_module_name = ttv.definition_module_name.clone();
                clone.definition_location = ttv.definition_location;
                self.base.add_type(clone)
            } else {
                // arena->freshType(builtinTypes, scope, level)
                let builtins = unsafe { &*self.builtin_types };
                let free_type = FreeType {
                    scope,
                    level,
                    lower_bound: builtins.neverType,
                    upper_bound: builtins.unknownType,
                    ..FreeType::default()
                };
                self.base.add_type(free_type)
            }
        } else {
            let ttv = unsafe { (*log).txn_log_get_mutable::<TableType, TypeId>(ty) };
            if !ttv.is_null() {
                let ttv = unsafe { &*ttv };
                let mut clone =
                    TableType::table_type_props_optional_table_indexer_type_level_scope_table_state(
                        &ttv.props,
                        ttv.indexer.clone(),
                        level,
                        scope,
                        TableState::Free,
                    );
                clone.definition_module_name = ttv.definition_module_name.clone();
                clone.definition_location = ttv.definition_location;
                self.base.add_type(clone)
            } else if FFlag::LuauSolverV2.get() {
                let builtins = unsafe { &*self.builtin_types };
                let free_type = FreeType {
                    scope,
                    lower_bound: builtins.neverType,
                    upper_bound: builtins.unknownType,
                    ..FreeType::default()
                };
                let res = self.base.add_type(free_type);
                unsafe {
                    (*get_mutable_type_id::<FreeType>(res)).level = level;
                }
                res
            } else {
                // arena->freshType(builtinTypes, scope, level)
                let builtins = unsafe { &*self.builtin_types };
                let free_type = FreeType {
                    scope,
                    level,
                    lower_bound: builtins.neverType,
                    upper_bound: builtins.unknownType,
                    ..FreeType::default()
                };
                self.base.add_type(free_type)
            }
        }
    }
}