{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// after inlining a body may refer to promoteds from other bodies. In that case you still
    /// promoteds by the `DefId` and the `mir::Promoted` index. This is necessary, because
    /// need to use the `DefId` of the original body.