pub(crate) fn inner_mir_for_ctfe(
tcx: TyCtxt<'_>,
def: WithOptConstParam<LocalDefId>
) -> Body<'_>