fn unreachable
Marks code that must never run (§6.6).
Example:
fn name(n: i32) -> str {
match n {
0 => "zero"
1 => "one"
_ => unreachable()
}
}
fn main() io {
print("{name(0)} {name(1)}")
}Вывод
zero one
@intrinsic("unreachable") pub(api) fn unreachable() -> neverС версии. 1.0.0-beta
Возвращает
never
Эффекты
не объявлены (чистая, пока тело не говорит иное)
Определено в: std/core/functions.oxl:134