fn unreachable

Marks code that must never run (§6.6).

Example:

oxl✓ checked in CI

fn name(n: i32) -> str {
  match n {
    0 => "zero"
    1 => "one"
    _ => unreachable()
  }
}

fn main() io {
  print("{name(0)} {name(1)}")
}

Output

zero one

@intrinsic("unreachable") pub(api) fn unreachable() -> never

Since. 1.0.0-beta

Returns

never

none declared (pure unless the body says otherwise)

Defined in: std/core/functions.oxl:134