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

use crate::records::refinement_key::RefinementKey;
use crate::records::refinement_key_arena::RefinementKeyArena;
use crate::type_aliases::def_id_refinement::DefId;

impl RefinementKeyArena {
    pub fn leaf(&mut self, def: DefId) -> *const RefinementKey {
        self.allocator.allocate(RefinementKey {
            parent: core::ptr::null(),
            def: def.as_ptr() as *const core::ffi::c_void,
            propName: None,
        })
    }
}