Enum LowerError

pub enum LowerError {
    InvalidCallTarget,
    UnknownFunction {
        name: String,
    },
    UnknownIdent {
        name: String,
    },
    MoveRequiresBinding,
    BorrowRequiresBinding,
    PrefixOnlyValidInCallArgs {
        op: &'static str,
    },
    UnexpectedRuntimeSplice,
    MissingTypeInfo {
        name: String,
    },
    UnknownEnumVariant {
        name: String,
    },
    CallArgIncompatible {
        function: String,
        param: String,
        expected: String,
        actual: String,
    },
    CallArgCoercionPlanUnsupported {
        function: String,
        param: String,
        expected: String,
        actual: String,
    },
    ReturnTypeOwnershipNotAllowed {
        function: String,
    },
}

MIR lowering error produced while translating checked HIR.

Variants

InvalidCallTarget

Call callee expression was not an identifier.

UnknownFunction

Called runtime function could not be resolved.

Fields

name: String

Function name that failed to resolve.

UnknownIdent

Referenced local identifier was not found.

Fields

name: String

Identifier name that failed to resolve.

MoveRequiresBinding

Move prefix was used with a non-binding operand.

BorrowRequiresBinding

Borrow prefix was used with a non-binding operand.

PrefixOnlyValidInCallArgs

Prefix operator appeared outside call argument position.

Fields

op: &'static str

Prefix operator name.

UnexpectedRuntimeSplice

Meta splice reached runtime lowering unexpectedly.

MissingTypeInfo

Checker metadata required by lowering was missing.

Fields

name: String

Name of the expression or function lacking type info.

UnknownEnumVariant

Enum variant constructor name could not be resolved.

Fields

name: String

Variant constructor name.

CallArgIncompatible

Checker/lowering compatibility mismatch was observed for one call argument.

Fields

function: String

Function name being lowered.

param: String

Parameter name associated with the argument.

expected: String

Expected semantic type text.

actual: String

Actual semantic type text.

CallArgCoercionPlanUnsupported

Coercion requires a lowering plan not implemented in this stage.

Fields

function: String

Function name being lowered.

param: String

Parameter name associated with the argument.

expected: String

Expected semantic type text.

actual: String

Actual semantic type text.

ReturnTypeOwnershipNotAllowed

Function return type used an ownership sigil that should have been rejected earlier.

Fields

function: String

Function name being lowered.

Trait Implementations

impl Clone for LowerError

fn clone(&self) -> LowerError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for LowerError

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

Formats the value using the given formatter.

impl Display for LowerError

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

Formats the value using the given formatter.

impl Error for LowerError

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

Returns 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<DE> From<LowerError> for CompileError<DE>

where DE: Error + 'static,

fn from(source: LowerError) -> Self

Converts to this type from the input type.

impl PartialEq for LowerError

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for LowerError

impl StructuralPartialEq for LowerError