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

use crate::records::pending_type::PendingType;
use crate::records::table_type::TableType;
use crate::records::txn_log::TxnLog;
use crate::type_aliases::type_id::TypeId;
use luaur_common::macros::luau_assert::LUAU_ASSERT;

impl TxnLog {
    pub fn bind_table(&mut self, ty: TypeId, new_bound_to: Option<TypeId>) -> *mut PendingType {
        // SAFETY: We assume get<TableType>(ty) is valid per the C++ assertion
        // and that queue_type_id returns a valid PendingType pointer
        let new_ty = self.queue_type_id(ty);

        // SAFETY: get_mutable_pending_type is the Rust analog of getMutable<TableType>
        // We assume the type is a TableType as per the C++ assertion
        unsafe {
            let table_type = crate::functions::get_mutable_txn_log::get_mutable_pending_type::<
                TableType,
            >(new_ty);
            if !table_type.is_null() {
                (*table_type).bound_to = new_bound_to;
            }
        }

        new_ty
    }
}