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