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