Unreachable

[Source]

To be used in places that the compiler can't prove is unreachable but we are certain is unreachable and if we reach it, we'd be silently hiding a bug.

primitive val Unreachable

Constructors

create

[Source]

new val create()
: Unreachable val^

Returns

• Unreachable val^

---

Public Functions

apply

[Source]

fun box apply(
  loc: SourceLoc val = __loc)
: None val

Parameters

• loc: SourceLoc val = __loc

Returns

• None val

---

eq

[Source]

fun box eq(
  that: Unreachable val)
: Bool val

Parameters

• that: Unreachable val

Returns

• Bool val

---

ne

[Source]

fun box ne(
  that: Unreachable val)
: Bool val

Parameters

• that: Unreachable val

Returns

• Bool val

---