Skip to main content

luaur_analysis/methods/
refinement_key_arena_leaf.rs

1use crate::records::refinement_key::RefinementKey;
2use crate::records::refinement_key_arena::RefinementKeyArena;
3use crate::type_aliases::def_id_refinement::DefId;
4
5impl RefinementKeyArena {
6    pub fn leaf(&mut self, def: DefId) -> *const RefinementKey {
7        self.allocator.allocate(RefinementKey {
8            parent: core::ptr::null(),
9            def: def.as_ptr() as *const core::ffi::c_void,
10            propName: None,
11        })
12    }
13}