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

use crate::records::pending_expansion_type::PendingExpansionType;
use crate::records::reference_count_initializer::ReferenceCountInitializer;
use crate::type_aliases::type_id::TypeId;

impl ReferenceCountInitializer {
    /// C++ `bool ReferenceCountInitializer::visit(TypeId ty, const PendingExpansionType&)`
    /// (Constraint.cpp:38-42).
    pub fn visit_type_id_pending_expansion_type(
        &mut self,
        ty: TypeId,
        _pending_expansion_type: &PendingExpansionType,
    ) -> bool {
        unsafe {
            (*self.mutated_types).insert_type_id(ty);
        }
        false
    }
}