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