Enum sway_error::error::CompileError

pub enum CompileError {
    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,
    },
    MultipleDefinitionsOfMatchArmVariable {
        match_value: Span,
        match_type: String,
        first_definition: Span,
        first_definition_is_struct_field: bool,
        duplicate: Span,
        duplicate_is_struct_field: bool,
    },
    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,
    },
    ExpectedStringLiteral {
        span: Span,
    },
    BreakOutsideLoop {
        span: Span,
    },
    ContinueOutsideLoop {
        span: Span,
    },
    ContractIdConstantNotAConstDecl {
        span: Span,
    },
    ContractIdValueNotALiteral {
        span: Span,
    },
    TypeNotAllowed {
        reason: TypeNotAllowedReason,
        span: Span,
    },
    RefMutableNotAllowedInMain {
        param_name: Ident,
        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>,
    },
    NonStrGenericType {
        span: Span,
    },
    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

MultipleDefinitionsOfMatchArmVariable

Fields

match_value: Span

match_type: String

first_definition: Span

first_definition_is_struct_field: bool

duplicate: Span

duplicate_is_struct_field: bool

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

Fields

error: ConvertParseTreeError

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

ExpectedStringLiteral

Fields

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

TypeNotAllowed

Fields

reason: TypeNotAllowedReason

span: Span

RefMutableNotAllowedInMain

Fields

param_name: Ident

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>

NonStrGenericType

Fields

span: Span

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

impl Clone for CompileError

fn clone(&self) -> CompileError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CompileError

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

Formats the value using the given formatter.

impl Display for CompileError

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

Formats the value using the given formatter.

impl Error for CompileError

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.

impl From<ConvertParseTreeError> for CompileError

fn from(source: ConvertParseTreeError) -> Self

Converts to this type from the input type.

impl From<TypeError> for CompileError

fn from(other: TypeError) -> CompileError

Converts to this type from the input type.

impl Hash for CompileError

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl PartialEq<CompileError> for CompileError

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

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

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.

impl Spanned for CompileError

fn span(&self) -> Span

impl ToDiagnostic for CompileError

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

impl Eq for CompileError

impl StructuralEq for CompileError

impl StructuralPartialEq for CompileError