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),
    VerifyAccessElementInconsistentTypes,
    VerifyAccessElementOnNonArray,
    VerifyAccessElementNonIntIndex,
    VerifyAccessValueInconsistentTypes,
    VerifyAccessValueInvalidIndices,
    VerifyAccessValueOnNonStruct,
    VerifyArgumentValueIsNotArgument(String),
    VerifyAddrOfUnknownSourceType,
    VerifyAddrOfCopyType,
    VerifyBitcastUnknownSourceType,
    VerifyBitcastFromNonCopyType(String),
    VerifyBitcastToNonCopyType(String),
    VerifyBitcastBetweenInvalidTypes(String, String),
    VerifyBinaryOpIncorrectArgType,
    VerifyBranchToMissingBlock(String),
    VerifyBranchParamsMismatch,
    VerifyCallArgTypeMismatch(String),
    VerifyCallToMissingFunction(String),
    VerifyCmpBadTypes(String, String),
    VerifyCmpTypeMismatch(String, String),
    VerifyCmpUnknownTypes,
    VerifyConditionExprNotABool,
    VerifyContractCallBadTypes(String),
    VerifyGetNonExistentPointer,
    VerifyInsertElementOfIncorrectType,
    VerifyInsertValueOfIncorrectType,
    VerifyIntToPtrFromNonIntegerType(String),
    VerifyIntToPtrToCopyType(String),
    VerifyIntToPtrUnknownSourceType,
    VerifyLoadFromNonPointer,
    VerifyMemcopyNonExistentPointer,
    VerifyMismatchedReturnTypes(String),
    VerifyBlockArgMalformed,
    VerifyPtrCastFromNonPointer,
    VerifyPtrCastToNonPointer,
    VerifyReturnRefTypeValue(String, String),
    VerifyStateAccessNumOfSlots,
    VerifyStateKeyBadType,
    VerifyStateDestBadType(String),
    VerifyStoreMismatchedTypes,
    VerifyStoreNonExistentPointer,
    VerifyStoreToNonPointer,
    VerifyUntypedValuePassedToFunction,
    VerifyInvalidGtfIndexType,
    VerifyLogId,
    VerifyMismatchedLoggedTypes,
    VerifyRevertCodeBadType,
    VerifySmoRecipientBadType,
    VerifySmoBadRecipientAndMessageType,
    VerifySmoMessageSize,
    VerifySmoCoins,
    VerifySmoOutputIndex,
}

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)

VerifyAccessElementInconsistentTypes

VerifyAccessElementOnNonArray

VerifyAccessElementNonIntIndex

VerifyAccessValueInconsistentTypes

VerifyAccessValueInvalidIndices

VerifyAccessValueOnNonStruct

VerifyArgumentValueIsNotArgument(String)

VerifyAddrOfUnknownSourceType

VerifyAddrOfCopyType

VerifyBitcastUnknownSourceType

VerifyBitcastFromNonCopyType(String)

VerifyBitcastToNonCopyType(String)

VerifyBitcastBetweenInvalidTypes(String, String)

VerifyBinaryOpIncorrectArgType

VerifyBranchToMissingBlock(String)

VerifyBranchParamsMismatch

VerifyCallArgTypeMismatch(String)

VerifyCallToMissingFunction(String)

VerifyCmpBadTypes(String, String)

VerifyCmpTypeMismatch(String, String)

VerifyCmpUnknownTypes

VerifyConditionExprNotABool

VerifyContractCallBadTypes(String)

VerifyGetNonExistentPointer

VerifyInsertElementOfIncorrectType

VerifyInsertValueOfIncorrectType

VerifyIntToPtrFromNonIntegerType(String)

VerifyIntToPtrToCopyType(String)

VerifyIntToPtrUnknownSourceType

VerifyLoadFromNonPointer

VerifyMemcopyNonExistentPointer

VerifyMismatchedReturnTypes(String)

VerifyBlockArgMalformed

VerifyPtrCastFromNonPointer

VerifyPtrCastToNonPointer

VerifyReturnRefTypeValue(String, String)

VerifyStateAccessNumOfSlots

VerifyStateKeyBadType

VerifyStateDestBadType(String)

VerifyStoreMismatchedTypes

VerifyStoreNonExistentPointer

VerifyStoreToNonPointer

VerifyUntypedValuePassedToFunction

VerifyInvalidGtfIndexType

VerifyLogId

VerifyMismatchedLoggedTypes

VerifyRevertCodeBadType

VerifySmoRecipientBadType

VerifySmoBadRecipientAndMessageType

VerifySmoMessageSize

VerifySmoCoins

VerifySmoOutputIndex

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, demand: &mut Demand<'a>)

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

Provides type based access to context intended for error reports.