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