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