Function rustc_query_impl::make_query::promoted_mir

pub fn promoted_mir<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: promoted_mir<'tcx>
) -> QueryStackFrame

The DefId is the DefId of the containing MIR body. Promoteds do not have their own DefId. This function returns all promoteds in the specified body. The body references promoteds by the DefId and the mir::Promoted index. This is necessary, because after inlining a body may refer to promoteds from other bodies. In that case you still need to use the DefId of the original body.