Enum sway_ir::error::IrError

pub enum IrError {
    FunctionLocalClobbered(String, String),
    InvalidMetadatum(String),
    InvalidPhi,
    MisplacedTerminator(String),
    MissingBlock(String),
    MissingTerminator(String),
    ParseFailure(String, String),
    RemoveMissingBlock(String),
    ValueNotFound(String),
    VerifyArgumentValueIsNotArgument(String),
    VerifyUnaryOpIncorrectArgType,
    VerifyBinaryOpIncorrectArgType,
    VerifyBitcastBetweenInvalidTypes(String, String),
    VerifyBitcastUnknownSourceType,
    VerifyBlockArgMalformed,
    VerifyBranchParamsMismatch,
    VerifyBranchToMissingBlock(String),
    VerifyCallArgTypeMismatch(String, String, String),
    VerifyCallToMissingFunction(String),
    VerifyCmpBadTypes(String, String),
    VerifyCmpTypeMismatch(String, String),
    VerifyCmpUnknownTypes,
    VerifyConditionExprNotABool,
    VerifyContractCallBadTypes(String),
    VerifyGepElementTypeNonPointer,
    VerifyGepFromNonPointer(String),
    VerifyGepInconsistentTypes,
    VerifyGepOnNonAggregate,
    VerifyGetNonExistentPointer,
    VerifyInsertElementOfIncorrectType,
    VerifyInsertValueOfIncorrectType,
    VerifyIntToPtrFromNonIntegerType(String),
    VerifyIntToPtrToNonPointer(String),
    VerifyIntToPtrUnknownSourceType,
    VerifyInvalidGtfIndexType,
    VerifyLoadFromNonPointer(String),
    VerifyLogId,
    VerifyLogMismatchedTypes,
    VerifyMemcopyNonPointer(String),
    VerifyMemcopyMismatchedTypes(String, String),
    VerifyPtrCastFromNonPointer(String),
    VerifyPtrCastToNonPointer(String),
    VerifyPtrToIntToNonInteger(String),
    VerifyReturnMismatchedTypes(String),
    VerifyRevertCodeBadType,
    VerifySmoBadMessageType,
    VerifySmoCoins,
    VerifySmoMessageSize,
    VerifySmoRecipientNonPointer(String),
    VerifySmoMessageNonPointer(String),
    VerifySmoRecipientBadType,
    VerifyStateAccessNumOfSlots,
    VerifyStateAccessQuadNonPointer(String),
    VerifyStateDestBadType(String),
    VerifyStateKeyBadType,
    VerifyStateKeyNonPointer(String),
    VerifyStoreMismatchedTypes,
    VerifyStoreToNonPointer(String),
    VerifyUntypedValuePassedToFunction,
}

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)

InvalidPhi

MisplacedTerminator(String)

MissingBlock(String)

MissingTerminator(String)

ParseFailure(String, String)

RemoveMissingBlock(String)

ValueNotFound(String)

VerifyArgumentValueIsNotArgument(String)

VerifyUnaryOpIncorrectArgType

VerifyBinaryOpIncorrectArgType

VerifyBitcastBetweenInvalidTypes(String, String)

VerifyBitcastUnknownSourceType

VerifyBlockArgMalformed

VerifyBranchParamsMismatch

VerifyBranchToMissingBlock(String)

VerifyCallArgTypeMismatch(String, String, String)

VerifyCallToMissingFunction(String)

VerifyCmpBadTypes(String, String)

VerifyCmpTypeMismatch(String, String)

VerifyCmpUnknownTypes

VerifyConditionExprNotABool

VerifyContractCallBadTypes(String)

VerifyGepElementTypeNonPointer

VerifyGepFromNonPointer(String)

VerifyGepInconsistentTypes

VerifyGepOnNonAggregate

VerifyGetNonExistentPointer

VerifyInsertElementOfIncorrectType

VerifyInsertValueOfIncorrectType

VerifyIntToPtrFromNonIntegerType(String)

VerifyIntToPtrToNonPointer(String)

VerifyIntToPtrUnknownSourceType

VerifyInvalidGtfIndexType

VerifyLoadFromNonPointer(String)

VerifyLogId

VerifyLogMismatchedTypes

VerifyMemcopyNonPointer(String)

VerifyMemcopyMismatchedTypes(String, String)

VerifyPtrCastFromNonPointer(String)

VerifyPtrCastToNonPointer(String)

VerifyPtrToIntToNonInteger(String)

VerifyReturnMismatchedTypes(String)

VerifyRevertCodeBadType

VerifySmoBadMessageType

VerifySmoCoins

VerifySmoMessageSize

VerifySmoRecipientNonPointer(String)

VerifySmoMessageNonPointer(String)

VerifySmoRecipientBadType

VerifyStateAccessNumOfSlots

VerifyStateAccessQuadNonPointer(String)

VerifyStateDestBadType(String)

VerifyStateKeyBadType

VerifyStateKeyNonPointer(String)

VerifyStoreMismatchedTypes

VerifyStoreToNonPointer(String)

VerifyUntypedValuePassedToFunction

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 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>(&'a self, request: &mut Request<'a>)

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

Provides type based access to context intended for error reports.