Skip to main content

luaur_analysis/records/
refinement_key_arena.rs

1use crate::records::refinement_key::RefinementKey;
2use crate::records::typed_allocator::TypedAllocator;
3
4#[derive(Debug)]
5pub struct RefinementKeyArena {
6    pub(crate) allocator: TypedAllocator<RefinementKey>,
7}
8
9impl Default for RefinementKeyArena {
10    fn default() -> Self {
11        Self {
12            allocator: TypedAllocator::default(),
13        }
14    }
15}