{"ast_node_type":"import","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
    /// need to use the `DefId` of the original body.
    /// after inlining a body may refer to promoteds from other bodies. In that case you still
    query promoted_mir(key: DefId) -> &'tcx IndexVec<mir::Promoted, mir::Body<'tcx>> {