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

use crate::records::blocked_type_pack::BlockedTypePack;
use crate::records::reference_count_initializer::ReferenceCountInitializer;
use crate::type_aliases::type_pack_id::TypePackId;
use luaur_common::macros::luau_assert::LUAU_ASSERT;
use luaur_common::FFlag;

impl ReferenceCountInitializer {
    pub fn visit_type_pack_id_blocked_type_pack(
        &mut self,
        tp: TypePackId,
        _blocked_type_pack: &BlockedTypePack,
    ) -> bool {
        if FFlag::LuauConstraintGraph.get() {
            LUAU_ASSERT!(self.mutated_type_packs.is_null() == false);
            unsafe {
                (*self.mutated_type_packs).insert(tp);
            }
        }
        true
    }
}