On Wed, May 19, 2021 at 9:46 AM Jₑₙₛ Gustedt <jens.gustedt_at_[hidden]> wrote:
>
> yes, sorry, I always have difficulties to wrap my head around these
> things so I have to talk them out to convince myself ;-)

No problem! :-)

To clarify further, as a summary:

  Safe version (calls `abort()`, panics, etc.):
    - P0627: none.
    - Rust: `unreachable()`.
    - Zig: `unreachable` (on `Debug`, `ReleaseSafe` and tests).

  Unsafe version (introduces UB, allows to optimize):
    - P0627: `unreachable()`.
    - Rust: `unreachable_unchecked()`.
    - Zig: `unreachable` (on `ReleaseFast`).

On Swift, the UB version can be approximated under `-Ounchecked` using
`assert(false)`, e.g. https://godbolt.org/z/hsjKMWP55. So it is pretty
similar to Zig's approach.

Cheers,
Miguel