Enum ConstEvalError 

pub enum ConstEvalError {
    UndefinedSymbol {
        symbol: Ident,
        source_file: Option<Arc<SourceFile>>,
    },
    UndefinedPath {
        path: Arc<Path>,
        span: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
    },
    ImmediateOverflow {
        span: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
    },
    DivisionByZero {
        span: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
    },
    InvalidConstant {
        expected: &'static str,
        span: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
    },
    InvalidConstExprOperand {
        span: SourceSpan,
        operand: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
    },
    ConstEvalCycle {
        start: SourceSpan,
        source_file: Option<Arc<SourceFile>>,
        detected: [RelatedLabel; 1],
    },
}

An error raised during evaluation of a constant expression

Variants

UndefinedSymbol

Fields

symbol: Ident

source_file: Option<Arc<SourceFile>>

UndefinedPath

Fields

path: Arc<Path>

span: SourceSpan

source_file: Option<Arc<SourceFile>>

ImmediateOverflow

Fields

span: SourceSpan

source_file: Option<Arc<SourceFile>>

DivisionByZero

Fields

span: SourceSpan

source_file: Option<Arc<SourceFile>>

InvalidConstant

Fields

expected: &'static str

span: SourceSpan

source_file: Option<Arc<SourceFile>>

InvalidConstExprOperand

Fields

span: SourceSpan

operand: SourceSpan

source_file: Option<Arc<SourceFile>>

ConstEvalCycle

Fields

start: SourceSpan

source_file: Option<Arc<SourceFile>>

detected: [RelatedLabel; 1]

Implementations

impl ConstEvalError

pub fn undefined<Env>(symbol: Ident, env: &Env) -> Self

where Env: ?Sized + ConstEnvironment, <Env as ConstEnvironment>::Error: From<Self>,

pub fn invalid_constant<Env>( span: SourceSpan, expected: &'static str, env: &Env, ) -> Self

where Env: ?Sized + ConstEnvironment, <Env as ConstEnvironment>::Error: From<Self>,

pub fn eval_cycle<Env>( start: SourceSpan, detected: SourceSpan, env: &Env, ) -> Self

where Env: ?Sized + ConstEnvironment, <Env as ConstEnvironment>::Error: From<Self>,

Trait Implementations

impl Debug for ConstEvalError

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

Formats the value using the given formatter.

impl Diagnostic for ConstEvalError

fn help(&self) -> Option<Box<dyn Display + '_>>

Additional help text related to this Diagnostic. Do you have any advice for the poor soul who’s just run into this issue?

fn labels(&self) -> Option<Box<dyn Iterator<Item = LabeledSpan> + '_>>

Labels to apply to this Diagnostic’s [Diagnostic::source_code]

fn source_code(&self) -> Option<&dyn SourceCode>

Source code to apply this Diagnostic’s [Diagnostic::labels] to.

fn related(&self) -> Option<Box<dyn Iterator<Item = &dyn Diagnostic> + '_>>

Additional related Diagnostics.

fn code<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

Unique diagnostic code that can be used to look up more information about this Diagnostic. Ideally also globally unique, and documented in the toplevel crate’s documentation for easy searching. Rust path format (foo::bar::baz) is recommended, but more classic codes like E0123 or enums will work just fine.

fn severity(&self) -> Option<Severity>

Diagnostic severity. This may be used by ReportHandlers to change the display format of this diagnostic.

fn url<'a>(&'a self) -> Option<Box<dyn Display + 'a>>

URL to visit for a more detailed explanation/help about this Diagnostic.

fn diagnostic_source<'a>(&'a self) -> Option<&'a dyn Diagnostic>

The cause of the error.

impl Display for ConstEvalError

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

Formats the value using the given formatter.

impl Error for ConstEvalError

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 From<ConstEvalError> for SemanticAnalysisError

fn from(source: ConstEvalError) -> Self

Converts to this type from the input type.