Exception thrown if as-expression type assertion is violated
final class TypeAssertionException extends RuntimeException {...}