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