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