use crate::records::type_arena::TypeArena;
use crate::records::type_level::TypeLevel;

#[derive(Debug, Clone)]
pub struct InplaceDemoter {
    pub(crate) new_level: TypeLevel,
    pub(crate) arena: *mut TypeArena,
}
