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
28
29
30

//! @interface-stub
use crate::enums::follow_option::FollowOption;
use crate::functions::follow_type_alt_e::follow_full;
use crate::records::r#type::Type;
use crate::records::txn_log::TxnLog;
use crate::type_aliases::type_id::TypeId;

fn pending_type_mapper(context: *const core::ffi::c_void, ty: TypeId) -> TypeId {
    let log = unsafe { &*(context as *const TxnLog) };
    let state = log.pending_type_id(ty);

    if state.is_null() {
        ty
    } else {
        unsafe { &(*state).pending as *const Type }
    }
}

impl TxnLog {
    pub fn follow_type_id(&self, ty: TypeId) -> TypeId {
        unsafe {
            follow_full(
                ty,
                FollowOption::Normal,
                self as *const TxnLog as *const core::ffi::c_void,
                pending_type_mapper,
            )
        }
    }
}