use rustc_middle::queries::vtable_allocation::Key;
use rustc_middle::queries::vtable_allocation::Value;
use super::*;