Enum sway_ir::error::IrError

pub enum IrError {
    FunctionLocalClobbered(String, String),
    InvalidMetadatum(String),
    MisplacedTerminator(String),
    MissingBlock(String),
    MissingTerminator(String),
    ParseFailure(String, String),
    ValueNotFound(String),
    VerifyAccessElementInconsistentTypes,
    VerifyAccessElementOnNonArray,
    VerifyAccessElementNonIntIndex,
    VerifyAccessValueInconsistentTypes,
    VerifyAccessValueInvalidIndices,
    VerifyAccessValueOnNonStruct,
    VerifyArgumentValueIsNotArgument(String),
    VerifyBitcastUnknownSourceType,
    VerifyBitcastFromNonCopyType(String),
    VerifyBitcastToNonCopyType(String),
    VerifyBitcastBetweenInvalidTypes(String, String),
    VerifyBranchToMissingBlock(String),
    VerifyCallArgTypeMismatch(String),
    VerifyCallToMissingFunction(String),
    VerifyCmpBadTypes(String, String),
    VerifyCmpTypeMismatch(String, String),
    VerifyCmpUnknownTypes,
    VerifyConditionExprNotABool,
    VerifyContractCallBadTypes(String),
    VerifyGetNonExistentPointer,
    VerifyInsertElementOfIncorrectType,
    VerifyInsertValueOfIncorrectType,
    VerifyIntToPtrFromNonIntegerType(String),
    VerifyIntToPtrToCopyType(String),
    VerifyIntToPtrUnknownSourceType,
    VerifyLoadFromNonPointer,
    VerifyLoadNonExistentPointer,
    VerifyMismatchedReturnTypes(String),
    VerifyPhiFromMissingBlock(String),
    VerifyPhiInconsistentTypes,
    VerifyPhiNonUniqueLabels,
    VerifyPtrCastFromNonPointer,
    VerifyStateKeyBadType,
    VerifyStateDestBadType(String),
    VerifyStoreMismatchedTypes,
    VerifyStoreNonExistentPointer,
    VerifyStoreToNonPointer,
    VerifyUntypedValuePassedToFunction,
    VerifyInvalidGtfIndexType,
}

These errors are for internal IR failures, not designed to be useful to a Sway developer, but more for users of the sway-ir crate, i.e., compiler developers.

XXX They’re not very rich and could do with a little more verbosity.

Variants

FunctionLocalClobbered(String, String)

InvalidMetadatum(String)

MisplacedTerminator(String)

MissingBlock(String)

MissingTerminator(String)

ParseFailure(String, String)

ValueNotFound(String)

VerifyAccessElementInconsistentTypes

VerifyAccessElementOnNonArray

VerifyAccessElementNonIntIndex

VerifyAccessValueInconsistentTypes

VerifyAccessValueInvalidIndices

VerifyAccessValueOnNonStruct

VerifyArgumentValueIsNotArgument(String)

VerifyBitcastUnknownSourceType

VerifyBitcastFromNonCopyType(String)

VerifyBitcastToNonCopyType(String)

VerifyBitcastBetweenInvalidTypes(String, String)

VerifyBranchToMissingBlock(String)

VerifyCallArgTypeMismatch(String)

VerifyCallToMissingFunction(String)

VerifyCmpBadTypes(String, String)

VerifyCmpTypeMismatch(String, String)

VerifyCmpUnknownTypes

VerifyConditionExprNotABool

VerifyContractCallBadTypes(String)

VerifyGetNonExistentPointer

VerifyInsertElementOfIncorrectType

VerifyInsertValueOfIncorrectType

VerifyIntToPtrFromNonIntegerType(String)

VerifyIntToPtrToCopyType(String)

VerifyIntToPtrUnknownSourceType

VerifyLoadFromNonPointer

VerifyLoadNonExistentPointer

VerifyMismatchedReturnTypes(String)

VerifyPhiFromMissingBlock(String)

VerifyPhiInconsistentTypes

VerifyPhiNonUniqueLabels

VerifyPtrCastFromNonPointer

VerifyStateKeyBadType

VerifyStateDestBadType(String)

VerifyStoreMismatchedTypes

VerifyStoreNonExistentPointer

VerifyStoreToNonPointer

VerifyUntypedValuePassedToFunction

VerifyInvalidGtfIndexType

Trait Implementations

impl Debug for IrError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for IrError

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Error for IrError

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide(&'a self, req: &mut Demand<'a>)

🔬 This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.