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