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