Enum MirLowerError 

pub enum MirLowerError<'db> {
    ConstEvalError(Box<str>, Box<ConstEvalError<'db>>),
    LayoutError(LayoutError),
    IncompleteExpr,
    IncompletePattern,
    TraitFunctionDefinition(TraitId, Name),
    UnresolvedName(String),
    RecordLiteralWithoutPath,
    UnresolvedMethod(String),
    UnresolvedField,
    UnsizedTemporary(Ty<'db>),
    MissingFunctionDefinition(DefWithBodyId, Idx<Expr>),
    TypeMismatch(TypeMismatch<'db>),
    HasErrors,
    TypeError(&'static str),
    NotSupported(String),
    ContinueWithoutLoop,
    BreakWithoutLoop,
    Loop,
    ImplementationError(String),
    LangItemNotFound,
    MutatingRvalue,
    UnresolvedLabel,
    UnresolvedUpvar(Place<'db>),
    InaccessibleLocal,
    GenericArgNotProvided(GenericParamId, GenericArgs<'db>),
}

Variants

ConstEvalError(Box<str>, Box<ConstEvalError<'db>>)

LayoutError(LayoutError)

IncompleteExpr

IncompletePattern

TraitFunctionDefinition(TraitId, Name)

Trying to lower a trait function, instead of an implementation

UnresolvedName(String)

RecordLiteralWithoutPath

UnresolvedMethod(String)

UnresolvedField

UnsizedTemporary(Ty<'db>)

MissingFunctionDefinition(DefWithBodyId, Idx<Expr>)

TypeMismatch(TypeMismatch<'db>)

HasErrors

TypeError(&'static str)

This should never happen. Type mismatch should catch everything.

NotSupported(String)

ContinueWithoutLoop

BreakWithoutLoop

Loop

ImplementationError(String)

Something that should never happen and is definitely a bug, but we don’t want to panic if it happened

LangItemNotFound

MutatingRvalue

UnresolvedLabel

UnresolvedUpvar(Place<'db>)

InaccessibleLocal

GenericArgNotProvided(GenericParamId, GenericArgs<'db>)

Implementations

impl MirLowerError<'_>

pub fn pretty_print( &self, f: &mut String, db: &(dyn HirDatabase + 'static), span_formatter: impl Fn(FileId, TextRange) -> String, display_target: DisplayTarget, ) -> Result<(), Error>

Trait Implementations

impl<'db> Clone for MirLowerError<'db>

fn clone(&self) -> MirLowerError<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for MirLowerError<'db>

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

Formats the value using the given formatter.

impl From<LayoutError> for MirLowerError<'_>

fn from(value: LayoutError) -> MirLowerError<'_>

Converts to this type from the input type.

impl<'db> From<MirLowerError<'db>> for ConstEvalError<'db>

fn from(value: MirLowerError<'db>) -> ConstEvalError<'db>

Converts to this type from the input type.

impl<'db> PartialEq for MirLowerError<'db>

fn eq(&self, other: &MirLowerError<'db>) -> 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<'db> Eq for MirLowerError<'db>

impl<'db> StructuralPartialEq for MirLowerError<'db>