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