Enum sway_error::error::CompileError

source · 
pub enum CompileError {

Show 163 variants    UnknownVariable {
        var_name: Ident,
        span: Span,
    },
    NotAVariable {
        name: Ident,
        what_it_is: &'static str,
        span: Span,
    },
    Unimplemented(&'static str, Span),
    UnimplementedWithHelp(&'static str, &'static str, Span),
    TypeError(TypeError),
    ParseError {
        span: Span,
        err: String,
    },
    Internal(&'static str, Span),
    InternalOwned(String, Span),
    NoPredicateMainFunction(Span),
    PredicateMainDoesNotReturnBool(Span),
    NoScriptMainFunction(Span),
    MultipleDefinitionsOfFunction {
        name: Ident,
        span: Span,
    },
    MultipleDefinitionsOfName {
        name: Ident,
        span: Span,
    },
    MultipleDefinitionsOfConstant {
        name: Ident,
        span: Span,
    },
    AssignmentToNonMutable {
        name: Ident,
        span: Span,
    },
    MethodRequiresMutableSelf {
        method_name: Ident,
        variable_name: Ident,
        span: Span,
    },
    MutableParameterNotSupported {
        param_name: Ident,
        span: Span,
    },
    ImmutableArgumentToMutableParameter {
        span: Span,
    },
    RefMutableNotAllowedInContractAbi {
        param_name: Ident,
        span: Span,
    },
    AssociatedFunctionCalledAsMethod {
        fn_name: Ident,
        span: Span,
    },
    TypeParameterNotInTypeScope {
        name: Ident,
        span: Span,
        comma_separated_generic_params: String,
        fn_name: Ident,
        args: String,
    },
    MismatchedTypeInInterfaceSurface {
        interface_name: InterfaceName,
        span: Span,
        decl_type: String,
        given: String,
        expected: String,
    },
    UnknownTrait {
        span: Span,
        name: Ident,
    },
    FunctionNotAPartOfInterfaceSurface {
        name: Ident,
        interface_name: InterfaceName,
        span: Span,
    },
    ConstantNotAPartOfInterfaceSurface {
        name: Ident,
        interface_name: InterfaceName,
        span: Span,
    },
    MissingInterfaceSurfaceConstants {
        missing_constants: String,
        span: Span,
    },
    MissingInterfaceSurfaceMethods {
        missing_functions: String,
        span: Span,
    },
    IncorrectNumberOfTypeArguments {
        given: usize,
        expected: usize,
        span: Span,
    },
    DoesNotTakeTypeArguments {
        name: Ident,
        span: Span,
    },
    DoesNotTakeTypeArgumentsAsPrefix {
        name: Ident,
        span: Span,
    },
    TypeArgumentsNotAllowed {
        span: Span,
    },
    NeedsTypeArguments {
        name: Ident,
        span: Span,
    },
    EnumNotFound {
        name: Ident,
        span: Span,
    },
    StructMissingField {
        field_name: Ident,
        struct_name: Ident,
        span: Span,
    },
    StructDoesNotHaveField {
        field_name: Ident,
        struct_name: Ident,
        span: Span,
    },
    MethodNotFound {
        method_name: Ident,
        type_name: String,
        span: Span,
    },
    ModuleNotFound {
        span: Span,
        name: String,
    },
    FieldAccessOnNonStruct {
        actually: String,
        span: Span,
    },
    NotATuple {
        name: String,
        span: Span,
        actually: String,
    },
    NotIndexable {
        name: String,
        span: Span,
        actually: String,
    },
    NotAnEnum {
        name: String,
        span: Span,
        actually: String,
    },
    NotAStruct {
        span: Span,
        actually: String,
    },
    DeclIsNotAnEnum {
        actually: String,
        span: Span,
    },
    DeclIsNotAStruct {
        actually: String,
        span: Span,
    },
    DeclIsNotAFunction {
        actually: String,
        span: Span,
    },
    DeclIsNotAVariable {
        actually: String,
        span: Span,
    },
    DeclIsNotAnAbi {
        actually: String,
        span: Span,
    },
    DeclIsNotATrait {
        actually: String,
        span: Span,
    },
    DeclIsNotAnImplTrait {
        actually: String,
        span: Span,
    },
    DeclIsNotATraitFn {
        actually: String,
        span: Span,
    },
    DeclIsNotStorage {
        actually: String,
        span: Span,
    },
    DeclIsNotAConstant {
        actually: String,
        span: Span,
    },
    DeclIsNotATypeAlias {
        actually: String,
        span: Span,
    },
    FieldNotFound {
        field_name: Ident,
        available_fields: String,
        struct_name: Ident,
        span: Span,
    },
    SymbolNotFound {
        name: Ident,
        span: Span,
    },
    ImportPrivateSymbol {
        name: Ident,
        span: Span,
    },
    ImportPrivateModule {
        name: Ident,
        span: Span,
    },
    NoElseBranch {
        span: Span,
        type: String,
    },
    NotAType {
        span: Span,
        name: String,
        actually_is: &'static str,
    },
    MissingEnumInstantiator {
        span: Span,
    },
    PathDoesNotReturn {
        span: Span,
        ty: String,
        function_name: Ident,
    },
    ExpectedModuleDocComment {
        span: Span,
    },
    UnknownRegister {
        span: Span,
        initialized_registers: String,
    },
    MissingImmediate {
        span: Span,
    },
    InvalidImmediateValue {
        span: Span,
    },
    UnknownEnumVariant {
        enum_name: Ident,
        variant_name: Ident,
        span: Span,
    },
    UnrecognizedOp {
        op_name: Ident,
        span: Span,
    },
    UnableToInferGeneric {
        ty: String,
        span: Span,
    },
    UnconstrainedGenericParameter {
        ty: String,
        span: Span,
    },
    TraitConstraintNotSatisfied {
        ty: String,
        trait_name: String,
        span: Span,
    },
    TraitConstraintMissing {
        param: String,
        trait_name: String,
        span: Span,
    },
    Immediate06TooLarge {
        val: u64,
        span: Span,
    },
    Immediate12TooLarge {
        val: u64,
        span: Span,
    },
    Immediate18TooLarge {
        val: u64,
        span: Span,
    },
    Immediate24TooLarge {
        val: u64,
        span: Span,
    },
    IncorrectNumberOfAsmRegisters {
        span: Span,
        expected: usize,
        received: usize,
    },
    UnnecessaryImmediate {
        span: Span,
    },
    AmbiguousPath {
        span: Span,
    },
    UnknownType {
        span: Span,
    },
    UnknownTypeName {
        name: String,
        span: Span,
    },
    FileCouldNotBeRead {
        span: Span,
        file_path: String,
        stringified_error: String,
    },
    ImportMustBeLibrary {
        span: Span,
    },
    MoreThanOneEnumInstantiator {
        span: Span,
        ty: String,
    },
    UnnecessaryEnumInstantiator {
        span: Span,
    },
    UnitVariantWithParenthesesEnumInstantiator {
        span: Span,
        ty: String,
    },
    TraitNotFound {
        name: String,
        span: Span,
    },
    InvalidExpressionOnLhs {
        span: Span,
    },
    CannotBeEvaluatedToConst {
        span: Span,
    },
    TooManyArgumentsForFunction {
        span: Span,
        method_name: Ident,
        dot_syntax_used: bool,
        expected: usize,
        received: usize,
    },
    TooFewArgumentsForFunction {
        span: Span,
        method_name: Ident,
        dot_syntax_used: bool,
        expected: usize,
        received: usize,
    },
    MissingParenthesesForFunction {
        span: Span,
        method_name: Ident,
    },
    InvalidAbiType {
        span: Span,
    },
    NotAnAbi {
        span: Span,
        actually_is: &'static str,
    },
    ImplAbiForNonContract {
        span: Span,
        ty: String,
    },
    ConflictingImplsForTraitAndType {
        trait_name: String,
        type_implementing_for: String,
        second_impl_span: Span,
    },
    DuplicateDeclDefinedForType {
        decl_kind: String,
        decl_name: String,
        type_implementing_for: String,
        span: Span,
    },
    IncorrectNumberOfInterfaceSurfaceFunctionParameters {
        fn_name: Ident,
        interface_name: InterfaceName,
        num_parameters: usize,
        provided_parameters: usize,
        span: Span,
    },
    ArgumentParameterTypeMismatch {
        span: Span,
        should_be: String,
        provided: String,
    },
    RecursiveCall {
        fn_name: Ident,
        span: Span,
    },
    RecursiveCallChain {
        fn_name: Ident,
        call_chain: String,
        span: Span,
    },
    RecursiveType {
        name: Ident,
        span: Span,
    },
    RecursiveTypeChain {
        name: Ident,
        type_chain: String,
        span: Span,
    },
    GMFromExternalContext {
        span: Span,
    },
    MintFromExternalContext {
        span: Span,
    },
    BurnFromExternalContext {
        span: Span,
    },
    ContractStorageFromExternalContext {
        span: Span,
    },
    InvalidOpcodeFromPredicate {
        opcode: String,
        span: Span,
    },
    ArrayOutOfBounds {
        index: u64,
        count: u64,
        span: Span,
    },
    TupleIndexOutOfBounds {
        index: usize,
        count: usize,
        span: Span,
    },
    ConstantsCannotBeShadowed {
        variable_or_constant: String,
        name: Ident,
        constant_span: Span,
        constant_decl: Span,
        is_alias: bool,
    },
    ConstantShadowsVariable {
        name: Ident,
        variable_span: Span,
    },
    ShadowsOtherSymbol {
        name: Ident,
    },
    GenericShadowsGeneric {
        name: Ident,
    },
    MatchExpressionNonExhaustive {
        missing_patterns: String,
        span: Span,
    },
    MatchStructPatternMissingFields {
        missing_fields: Vec<String>,
        span: Span,
    },
    MatchVariableNotBoundInAllPatterns {
        var: Ident,
        span: Span,
    },
    StorageAccessMismatch {
        attrs: String,
        span: Span,
    },
    TraitDeclPureImplImpure {
        fn_name: Ident,
        interface_name: InterfaceName,
        attrs: String,
        span: Span,
    },
    TraitImplPurityMismatch {
        fn_name: Ident,
        interface_name: InterfaceName,
        attrs: String,
        span: Span,
    },
    ImpureInNonContract {
        span: Span,
    },
    ImpureInPureContext {
        storage_op: &'static str,
        attrs: String,
        span: Span,
    },
    ParameterRefMutabilityMismatch {
        span: Span,
    },
    IntegerTooLarge {
        span: Span,
        ty: String,
    },
    IntegerTooSmall {
        span: Span,
        ty: String,
    },
    IntegerContainsInvalidDigit {
        span: Span,
        ty: String,
    },
    AbiAsSupertrait {
        span: Span,
    },
    SupertraitImplRequired {
        supertrait_name: String,
        trait_name: Ident,
        span: Span,
    },
    ContractCallParamRepeated {
        param_name: String,
        span: Span,
    },
    UnrecognizedContractParam {
        param_name: String,
        span: Span,
    },
    CallParamForNonContractCallMethod {
        span: Span,
    },
    StorageFieldDoesNotExist {
        name: Ident,
        span: Span,
    },
    NoDeclaredStorage {
        span: Span,
    },
    MultipleStorageDeclarations {
        span: Span,
    },
    InvalidStorageOnlyTypeDecl {
        ty: String,
        span: Span,
    },
    UnexpectedDeclaration {
        decl_type: &'static str,
        span: Span,
    },
    ContractAddressMustBeKnown {
        span: Span,
    },
    ConvertParseTree {
        error: ConvertParseTreeError,
    },
    Lex {
        error: LexError,
    },
    Parse {
        error: ParseError,
    },
    NonConstantDeclValue {
        span: Span,
    },
    StorageDeclarationInNonContract {
        program_kind: String,
        span: Span,
    },
    IntrinsicUnsupportedArgType {
        name: String,
        span: Span,
        hint: String,
    },
    IntrinsicIncorrectNumArgs {
        name: String,
        expected: u64,
        span: Span,
    },
    IntrinsicIncorrectNumTArgs {
        name: String,
        expected: u64,
        span: Span,
    },
    BreakOutsideLoop {
        span: Span,
    },
    ContinueOutsideLoop {
        span: Span,
    },
    ContractIdConstantNotAConstDecl {
        span: Span,
    },
    ContractIdValueNotALiteral {
        span: Span,
    },
    TypeNotAllowedInContractStorage {
        ty: String,
        span: Span,
    },
    RefMutableNotAllowedInMain {
        param_name: Ident,
        span: Span,
    },
    NestedSliceReturnNotAllowedInMain {
        span: Span,
    },
    InitializedRegisterReassignment {
        name: String,
        span: Span,
    },
    DisallowedControlFlowInstruction {
        name: String,
        span: Span,
    },
    CallingPrivateLibraryMethod {
        name: String,
        span: Span,
    },
    DisallowedIntrinsicInPredicate {
        intrinsic: String,
        span: Span,
    },
    CoinsPassedToNonPayableMethod {
        fn_name: Ident,
        span: Span,
    },
    TraitImplPayabilityMismatch {
        fn_name: Ident,
        interface_name: InterfaceName,
        missing_impl_attribute: bool,
        span: Span,
    },
    ConfigurableInLibrary {
        span: Span,
    },
    MultipleApplicableItemsInScope {
        span: Span,
        type_name: String,
        method_name: String,
        as_traits: Vec<String>,
    },
    ContractCallsItsOwnMethod {
        span: Span,
    },
    AbiShadowsSuperAbiMethod {
        span: Span,
        superabi: Ident,
    },
    ConflictingSuperAbiMethods {
        span: Span,
        method_name: String,
        superabi1: String,
        superabi2: String,
    },
    AbiSupertraitMethodCallAsContractCall {
        fn_name: Ident,
        span: Span,
    },

}

Variants§

§

UnknownVariable

Fields

§var_name: Ident
§span: Span
§

NotAVariable

Fields

§name: Ident
§what_it_is: &'static str
§span: Span
§

Unimplemented(&'static str, Span)

§

UnimplementedWithHelp(&'static str, &'static str, Span)

§

TypeError(TypeError)

§

ParseError

Fields

§span: Span
§err: String
§

Internal(&'static str, Span)

§

InternalOwned(String, Span)

§

NoPredicateMainFunction(Span)

§

PredicateMainDoesNotReturnBool(Span)

§

NoScriptMainFunction(Span)

§

MultipleDefinitionsOfFunction

Fields

§name: Ident
§span: Span
§

MultipleDefinitionsOfName

Fields

§name: Ident
§span: Span
§

MultipleDefinitionsOfConstant

Fields

§name: Ident
§span: Span
§

AssignmentToNonMutable

Fields

§name: Ident
§span: Span
§

MethodRequiresMutableSelf

Fields

§method_name: Ident
§variable_name: Ident
§span: Span
§

MutableParameterNotSupported

Fields

§param_name: Ident
§span: Span
§

ImmutableArgumentToMutableParameter

Fields

§span: Span
§

RefMutableNotAllowedInContractAbi

Fields

§param_name: Ident
§span: Span
§

AssociatedFunctionCalledAsMethod

Fields

§fn_name: Ident
§span: Span
§

TypeParameterNotInTypeScope

Fields

§name: Ident
§span: Span
§comma_separated_generic_params: String
§fn_name: Ident
§args: String
§

MismatchedTypeInInterfaceSurface

Fields

§interface_name: InterfaceName
§span: Span
§decl_type: String
§given: String
§expected: String
§

UnknownTrait

Fields

§span: Span
§name: Ident
§

FunctionNotAPartOfInterfaceSurface

Fields

§name: Ident
§interface_name: InterfaceName
§span: Span
§

ConstantNotAPartOfInterfaceSurface

Fields

§name: Ident
§interface_name: InterfaceName
§span: Span
§

MissingInterfaceSurfaceConstants

Fields

§missing_constants: String
§span: Span
§

MissingInterfaceSurfaceMethods

Fields

§missing_functions: String
§span: Span
§

IncorrectNumberOfTypeArguments

Fields

§given: usize
§expected: usize
§span: Span
§

DoesNotTakeTypeArguments

Fields

§name: Ident
§span: Span
§

DoesNotTakeTypeArgumentsAsPrefix

Fields

§name: Ident
§span: Span
§

TypeArgumentsNotAllowed

Fields

§span: Span
§

NeedsTypeArguments

Fields

§name: Ident
§span: Span
§

EnumNotFound

Fields

§name: Ident
§span: Span
§

StructMissingField

Fields

§field_name: Ident
§struct_name: Ident
§span: Span
§

StructDoesNotHaveField

Fields

§field_name: Ident
§struct_name: Ident
§span: Span
§

MethodNotFound

Fields

§method_name: Ident
§type_name: String
§span: Span
§

ModuleNotFound

Fields

§span: Span
§name: String
§

FieldAccessOnNonStruct

Fields

§actually: String
§span: Span
§

NotATuple

Fields

§name: String
§span: Span
§actually: String
§

NotIndexable

Fields

§name: String
§span: Span
§actually: String
§

NotAnEnum

Fields

§name: String
§span: Span
§actually: String
§

NotAStruct

Fields

§span: Span
§actually: String
§

DeclIsNotAnEnum

Fields

§actually: String
§span: Span
§

DeclIsNotAStruct

Fields

§actually: String
§span: Span
§

DeclIsNotAFunction

Fields

§actually: String
§span: Span
§

DeclIsNotAVariable

Fields

§actually: String
§span: Span
§

DeclIsNotAnAbi

Fields

§actually: String
§span: Span
§

DeclIsNotATrait

Fields

§actually: String
§span: Span
§

DeclIsNotAnImplTrait

Fields

§actually: String
§span: Span
§

DeclIsNotATraitFn

Fields

§actually: String
§span: Span
§

DeclIsNotStorage

Fields

§actually: String
§span: Span
§

DeclIsNotAConstant

Fields

§actually: String
§span: Span
§

DeclIsNotATypeAlias

Fields

§actually: String
§span: Span
§

FieldNotFound

Fields

§field_name: Ident
§available_fields: String
§struct_name: Ident
§span: Span
§

SymbolNotFound

Fields

§name: Ident
§span: Span
§

ImportPrivateSymbol

Fields

§name: Ident
§span: Span
§

ImportPrivateModule

Fields

§name: Ident
§span: Span
§

NoElseBranch

Fields

§span: Span
§type: String
§

NotAType

Fields

§span: Span
§name: String
§actually_is: &'static str
§

MissingEnumInstantiator

Fields

§span: Span
§

PathDoesNotReturn

Fields

§span: Span
§ty: String
§function_name: Ident
§

ExpectedModuleDocComment

Fields

§span: Span
§

UnknownRegister

Fields

§span: Span
§initialized_registers: String
§

MissingImmediate

Fields

§span: Span
§

InvalidImmediateValue

Fields

§span: Span
§

UnknownEnumVariant

Fields

§enum_name: Ident
§variant_name: Ident
§span: Span
§

UnrecognizedOp

Fields

§op_name: Ident
§span: Span
§

UnableToInferGeneric

Fields

§ty: String
§span: Span
§

UnconstrainedGenericParameter

Fields

§ty: String
§span: Span
§

TraitConstraintNotSatisfied

Fields

§ty: String
§trait_name: String
§span: Span
§

TraitConstraintMissing

Fields

§param: String
§trait_name: String
§span: Span
§

Immediate06TooLarge

Fields

§val: u64
§span: Span
§

Immediate12TooLarge

Fields

§val: u64
§span: Span
§

Immediate18TooLarge

Fields

§val: u64
§span: Span
§

Immediate24TooLarge

Fields

§val: u64
§span: Span
§

IncorrectNumberOfAsmRegisters

Fields

§span: Span
§expected: usize
§received: usize
§

UnnecessaryImmediate

Fields

§span: Span
§

AmbiguousPath

Fields

§span: Span
§

UnknownType

Fields

§span: Span
§

UnknownTypeName

Fields

§name: String
§span: Span
§

FileCouldNotBeRead

Fields

§span: Span
§file_path: String
§stringified_error: String
§

ImportMustBeLibrary

Fields

§span: Span
§

MoreThanOneEnumInstantiator

Fields

§span: Span
§ty: String
§

UnnecessaryEnumInstantiator

Fields

§span: Span
§

UnitVariantWithParenthesesEnumInstantiator

Fields

§span: Span
§ty: String
§

TraitNotFound

Fields

§name: String
§span: Span
§

InvalidExpressionOnLhs

Fields

§span: Span
§

CannotBeEvaluatedToConst

Fields

§span: Span
§

TooManyArgumentsForFunction

Fields

§span: Span
§method_name: Ident
§dot_syntax_used: bool
§expected: usize
§received: usize
§

TooFewArgumentsForFunction

Fields

§span: Span
§method_name: Ident
§dot_syntax_used: bool
§expected: usize
§received: usize
§

MissingParenthesesForFunction

Fields

§span: Span
§method_name: Ident
§

InvalidAbiType

Fields

§span: Span
§

NotAnAbi

Fields

§span: Span
§actually_is: &'static str
§

ImplAbiForNonContract

Fields

§span: Span
§ty: String
§

ConflictingImplsForTraitAndType

Fields

§trait_name: String
§type_implementing_for: String
§second_impl_span: Span
§

DuplicateDeclDefinedForType

Fields

§decl_kind: String
§decl_name: String
§type_implementing_for: String
§span: Span
§

IncorrectNumberOfInterfaceSurfaceFunctionParameters

Fields

§fn_name: Ident
§interface_name: InterfaceName
§num_parameters: usize
§provided_parameters: usize
§span: Span
§

ArgumentParameterTypeMismatch

Fields

§span: Span
§should_be: String
§provided: String
§

RecursiveCall

Fields

§fn_name: Ident
§span: Span
§

RecursiveCallChain

Fields

§fn_name: Ident
§call_chain: String
§span: Span
§

RecursiveType

Fields

§name: Ident
§span: Span
§

RecursiveTypeChain

Fields

§name: Ident
§type_chain: String
§span: Span
§

GMFromExternalContext

Fields

§span: Span
§

MintFromExternalContext

Fields

§span: Span
§

BurnFromExternalContext

Fields

§span: Span
§

ContractStorageFromExternalContext

Fields

§span: Span
§

InvalidOpcodeFromPredicate

Fields

§opcode: String
§span: Span
§

ArrayOutOfBounds

Fields

§index: u64
§count: u64
§span: Span
§

TupleIndexOutOfBounds

Fields

§index: usize
§count: usize
§span: Span
§

ConstantsCannotBeShadowed

Fields

§variable_or_constant: String
§name: Ident
§constant_span: Span
§constant_decl: Span
§is_alias: bool
§

ConstantShadowsVariable

Fields

§name: Ident
§variable_span: Span
§

ShadowsOtherSymbol

Fields

§name: Ident
§

GenericShadowsGeneric

Fields

§name: Ident
§

MatchExpressionNonExhaustive

Fields

§missing_patterns: String
§span: Span
§

MatchStructPatternMissingFields

Fields

§missing_fields: Vec<String>
§span: Span
§

MatchVariableNotBoundInAllPatterns

Fields

§var: Ident
§span: Span
§

StorageAccessMismatch

Fields

§attrs: String
§span: Span
§

TraitDeclPureImplImpure

Fields

§fn_name: Ident
§interface_name: InterfaceName
§attrs: String
§span: Span
§

TraitImplPurityMismatch

Fields

§fn_name: Ident
§interface_name: InterfaceName
§attrs: String
§span: Span
§

ImpureInNonContract

Fields

§span: Span
§

ImpureInPureContext

Fields

§storage_op: &'static str
§attrs: String
§span: Span
§

ParameterRefMutabilityMismatch

Fields

§span: Span
§

IntegerTooLarge

Fields

§span: Span
§ty: String
§

IntegerTooSmall

Fields

§span: Span
§ty: String
§

IntegerContainsInvalidDigit

Fields

§span: Span
§ty: String
§

AbiAsSupertrait

Fields

§span: Span
§

SupertraitImplRequired

Fields

§supertrait_name: String
§trait_name: Ident
§span: Span
§

ContractCallParamRepeated

Fields

§param_name: String
§span: Span
§

UnrecognizedContractParam

Fields

§param_name: String
§span: Span
§

CallParamForNonContractCallMethod

Fields

§span: Span
§

StorageFieldDoesNotExist

Fields

§name: Ident
§span: Span
§

NoDeclaredStorage

Fields

§span: Span
§

MultipleStorageDeclarations

Fields

§span: Span
§

InvalidStorageOnlyTypeDecl

Fields

§ty: String
§span: Span
§

UnexpectedDeclaration

Fields

§decl_type: &'static str
§span: Span
§

ContractAddressMustBeKnown

Fields

§span: Span
§

ConvertParseTree

§

Lex

Fields

§error: LexError
§

Parse

Fields

§error: ParseError
§

NonConstantDeclValue

Fields

§span: Span
§

StorageDeclarationInNonContract

Fields

§program_kind: String
§span: Span
§

IntrinsicUnsupportedArgType

Fields

§name: String
§span: Span
§hint: String
§

IntrinsicIncorrectNumArgs

Fields

§name: String
§expected: u64
§span: Span
§

IntrinsicIncorrectNumTArgs

Fields

§name: String
§expected: u64
§span: Span
§

BreakOutsideLoop

Fields

§span: Span
§

ContinueOutsideLoop

Fields

§span: Span
§

ContractIdConstantNotAConstDecl

Fields

§span: Span

This will be removed once loading contract IDs in a dependency namespace is refactored and no longer manual: https://github.com/FuelLabs/sway/issues/3077

§

ContractIdValueNotALiteral

Fields

§span: Span

This will be removed once loading contract IDs in a dependency namespace is refactored and no longer manual: https://github.com/FuelLabs/sway/issues/3077

§

TypeNotAllowedInContractStorage

Fields

§ty: String
§span: Span
§

RefMutableNotAllowedInMain

Fields

§param_name: Ident
§span: Span
§

NestedSliceReturnNotAllowedInMain

Fields

§span: Span
§

InitializedRegisterReassignment

Fields

§name: String
§span: Span
§

DisallowedControlFlowInstruction

Fields

§name: String
§span: Span
§

CallingPrivateLibraryMethod

Fields

§name: String
§span: Span
§

DisallowedIntrinsicInPredicate

Fields

§intrinsic: String
§span: Span
§

CoinsPassedToNonPayableMethod

Fields

§fn_name: Ident
§span: Span
§

TraitImplPayabilityMismatch

Fields

§fn_name: Ident
§interface_name: InterfaceName
§missing_impl_attribute: bool
§span: Span
§

ConfigurableInLibrary

Fields

§span: Span
§

MultipleApplicableItemsInScope

Fields

§span: Span
§type_name: String
§method_name: String
§as_traits: Vec<String>
§

ContractCallsItsOwnMethod

Fields

§span: Span
§

AbiShadowsSuperAbiMethod

Fields

§span: Span
§superabi: Ident
§

ConflictingSuperAbiMethods

Fields

§span: Span
§method_name: String
§superabi1: String
§superabi2: String
§

AbiSupertraitMethodCallAsContractCall

Fields

§fn_name: Ident
§span: Span

Trait Implementations§

source§

impl Clone for CompileError

source§

fn clone(&self) -> CompileError

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for CompileError

source§

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

Formats the value using the given formatter. Read more
source§

impl Display for CompileError

source§

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

Formats the value using the given formatter. Read more
source§

impl Error for CompileError

source§

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

The lower-level source of this error, if any. Read more
1.0.0 · source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
Read more
1.0.0 · source§

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

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
source§

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. Read more
source§

impl From<ConvertParseTreeError> for CompileError

source§

fn from(source: ConvertParseTreeError) -> Self

Converts to this type from the input type.
source§

impl From<TypeError> for CompileError

source§

fn from(other: TypeError) -> CompileError

Converts to this type from the input type.
source§

impl Hash for CompileError

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl PartialEq<CompileError> for CompileError

source§

fn eq(&self, other: &CompileError) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl Spanned for CompileError

source§

fn span(&self) -> Span

source§

impl ToDiagnostic for CompileError

source§

fn to_diagnostic(&self, source_engine: &SourceEngine) -> Diagnostic

source§

impl Eq for CompileError

source§

impl StructuralEq for CompileError

source§

impl StructuralPartialEq for CompileError

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<E> Provider for Ewhere E: Error + ?Sized,

source§

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

🔬This is a nightly-only experimental API. (provide_any)
Data providers should implement this method to provide all values they are able to provide by using demand. Read more
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
§

impl<T> StorageAsMut for T

§

fn storage<Type>(&mut self) -> StorageMut<'_, Self, Type>where Type: Mappable,

§

fn storage_as_mut<Type>(&mut self) -> StorageMut<'_, Self, Type>where Type: Mappable,

§

impl<T> StorageAsRef for T

§

fn storage<Type>(&self) -> StorageRef<'_, Self, Type>where Type: Mappable,

§

fn storage_as_ref<Type>(&self) -> StorageRef<'_, Self, Type>where Type: Mappable,

source§

impl<T> ToOwned for Twhere T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T> ToString for Twhere T: Display + ?Sized,

source§

default fn to_string(&self) -> String

Converts the given value to a String. Read more
source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V