{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
/// end up missing the source MIR due to stealing happening.
/// mir borrowck *before* doing so in order to ensure that borrowck can be run and doesn't
fn mir_drops_elaborated_and_const_checked(tcx: TyCtxt<'_>, def: LocalDefId) -> &Steal<Body<'_>> {