On Wednesday, 27 July 2016 at 07:59:54 UTC, Walter Bright wrote:
"The expression assert(0) is a special case; it signifies code
that should be unreachable. If it is reached at runtime, either
AssertError is thrown or execution is terminated in an
implementation-defined manner. Any code after the assert(0) is
considered unreachable."
Let me take a stab at it:
The expression assert(0) is a special case; it signifies that the
code which follows it (in its scope of execution) should be
unreachable. If execution reaches an assert(0) expression at
runtime, either AssertError is thrown, or execution is terminated
in an implementation-defined manner.
