{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
/// constant evaluation once all generic parameters become known.
/// Fetch all the promoteds of an item and prepare their MIR bodies to be ready for
fn promoted_mir(tcx: TyCtxt<'_>, def: LocalDefId) -> &IndexVec<Promoted, Body<'_>> {