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