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

use crate::functions::follow_type_pack_alt_h::follow_pack_full;
use crate::records::txn_log::TxnLog;
use crate::records::type_pack_var::TypePackVar;
use crate::type_aliases::type_pack_id::TypePackId;

fn pending_type_pack_mapper(context: *const core::ffi::c_void, tp: TypePackId) -> TypePackId {
    let log = unsafe { &*(context as *const TxnLog) };
    let state = log.pending_type_pack_id(tp);

    if state.is_null() {
        tp
    } else {
        unsafe { &(*state).pending as *const TypePackVar }
    }
}

impl TxnLog {
    pub fn follow_type_pack_id(&self, tp: TypePackId) -> TypePackId {
        unsafe {
            follow_pack_full(
                tp,
                self as *const TxnLog as *const core::ffi::c_void,
                pending_type_pack_mapper,
            )
        }
    }
}