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