pub fn mir_promoted<'tcx>(tcx: TyCtxt<'tcx>, key: mir_promoted<'tcx>) -> String