Skip to main content

luaur_analysis/methods/
refinement_key_arena_node.rs

1use crate::records::refinement_key::RefinementKey;
2use crate::records::refinement_key_arena::RefinementKeyArena;
3use crate::type_aliases::def_id_refinement::DefId;
4use alloc::string::String;
5
6impl RefinementKeyArena {
7    pub fn node(
8        &mut self,
9        parent: *const RefinementKey,
10        def: DefId,
11        prop_name: &String,
12    ) -> *const RefinementKey {
13        self.allocator.allocate(RefinementKey {
14            parent,
15            def: def.as_ptr() as *const core::ffi::c_void,
16            propName: Some(prop_name.clone()),
17        })
18    }
19}