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

use crate::records::pending_type::PendingType;
use crate::records::txn_log::TxnLog;
use crate::type_aliases::type_id::TypeId;

impl TxnLog {
    pub fn pending_type_id(&self, ty: TypeId) -> *mut PendingType {
        // This function will technically work if `this` is nullptr, but this
        // indicates a bug, so we explicitly assert.
        // (In Rust, `&self` is never null, so the C++ `LUAU_ASSERT(this != nullptr)`
        // has no analog here.)

        let mut current: *const TxnLog = self;
        while !current.is_null() {
            let cur = unsafe { &*current };
            if let Some(it) = cur.type_var_changes.find(&ty) {
                if !it.dead {
                    return it.as_ref() as *const PendingType as *mut PendingType;
                }
            }
            current = cur.parent;
        }

        core::ptr::null_mut()
    }
}