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