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