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
31
32
33

//! @interface-stub
use crate::type_aliases::refinement_id_refinement::RefinementId;
use crate::type_aliases::type_id::TypeId;

#[derive(Debug, Clone)]
pub struct Inference {
    pub ty: TypeId,
    pub refinement: RefinementId,
}

impl luaur_common::records::dense_hash_table::DenseDefault for Inference {
    fn dense_default() -> Self {
        Self {
            ty: core::ptr::null(),
            refinement: core::ptr::null_mut(),
        }
    }
}

impl Inference {
    // C++: `Inference()` — `ty` default-initialized to nullptr, no refinement.
    // (Analysis/include/Luau/ConstraintGenerator.h)
    pub fn inference() -> Self {
        Self {
            ty: core::ptr::null(),
            refinement: core::ptr::null_mut(),
        }
    }
    // C++: `Inference(TypeId ty, RefinementId refinement = nullptr)`.
    pub fn inference_type_id_refinement_id(ty: TypeId, refinement: RefinementId) -> Self {
        Self { ty, refinement }
    }
}