luaur-analysis 0.1.0

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
31
32
33
34
35
36
37
38
39
40
41
42

//! Node: `cxx:Function:Luau.Analysis:Analysis/src/Type.cpp:37:unwrap_lazy`
//! Source: `Analysis/src/Type.cpp` (Type.cpp:37-55, hand-ported)

use crate::functions::get_type_alt_j::get;
use crate::records::internal_compiler_error::InternalCompilerError;
use crate::records::lazy_type::LazyType;
use crate::type_aliases::type_id::TypeId;

#[allow(non_snake_case)]
pub unsafe fn unwrapLazy(ltv: *mut LazyType) -> TypeId {
    let mut unwrapped: TypeId = (*ltv).unwrapped;

    if !unwrapped.is_null() {
        return unwrapped;
    }

    if let Some(unwrap) = (*ltv).unwrap {
        unwrap(&mut *ltv);
    }
    unwrapped = (*ltv).unwrapped;

    if unwrapped.is_null() {
        std::panic::panic_any(InternalCompilerError {
            message: alloc::string::String::from("Lazy Type didn't fill in unwrapped type field"),
            module_name: None,
            location: None,
        });
    }

    if !get::<LazyType>(unwrapped).is_null() {
        std::panic::panic_any(InternalCompilerError {
            message: alloc::string::String::from("Lazy Type cannot resolve to another Lazy Type"),
            module_name: None,
            location: None,
        });
    }

    unwrapped
}

#[allow(unused_imports)]
pub use unwrapLazy as unwrap_lazy;