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

//! Source: `Analysis/include/Luau/Refinement.h:59-63` (hand-ported)
use crate::type_aliases::refinement_id_refinement::RefinementId;
use crate::type_aliases::refinement_refinement::RefinementMember;

/// C++ `template<typename T> const T* get(RefinementId refinement)`.
pub fn get_refinement_id<T: RefinementMember>(refinement: RefinementId) -> *const T {
    unsafe {
        match T::get_if(&*refinement) {
            Some(r) => r as *const T,
            None => core::ptr::null(),
        }
    }
}