"An error that occurs due to an incorrectly written program. 
 An instance is thrown when an assertion fails, that is, 
 when a condition in an `assert` statement evaluates to 
 false at runtime.
 The assertion
     \"x must be positive\"
     assert (x>0);
 has almost the same effect as this `if` statement
     if (!x>0) {
         throw AssertionError(\"x must be positive\");
shared native class AssertionError(message, Throwable? cause=null)
        extends Throwable(message, cause) {
    "A message describing the assertion that failed. In the
     case of an `assert` statement, it is the text specified
     by the `doc` annotation.
     Certain tools interpret this message as 
     markdown-formatted text."
    String message;