avail/avail.exceptions/AvailErrorCode/E_SUPERCAST_MUST_BE_STRICT_SUPERTYPE_OF_EXPRESSION_TYPE

E_SUPERCAST_MUST_BE_STRICT_SUPERTYPE_OF_EXPRESSION_TYPE

E_SUPERCAST_MUST_BE_STRICT_SUPERTYPE_OF_EXPRESSION_TYPE

Attempted to create a supercast from a base expression that yields a value of type top or bottom.

Properties

Link copied to clipboard
val code: Int

The numeric error code.

Link copied to clipboard
open val isCausedByInstructionFailure: Boolean

Can the AvailErrorCode result from failure of an L1Operation?

Link copied to clipboard
val name: String
Link copied to clipboard
val ordinal: Int

Functions

Link copied to clipboard
fun nativeCode(): Int

Answer the numeric error code as a Java Int.

Link copied to clipboard
fun numericCode(): A_Number

Answer the numeric error code as an Avail.