Enum ConstEvalErrKind

pub enum ConstEvalErrKind {
    ConstAccessesMutGlobal,
    ModifiedGlobal,
    RecursiveStatic,
    AssertFailure(AssertKind<ConstInt>),
    Panic {
        msg: Symbol,
        line: u32,
        col: u32,
        file: Symbol,
    },
    WriteThroughImmutablePointer,
}

The CTFE machine has some custom error kinds.

Variants

ConstAccessesMutGlobal

ModifiedGlobal

RecursiveStatic

AssertFailure(AssertKind<ConstInt>)

Panic

Fields

msg: Symbol

line: u32

col: u32

file: Symbol

WriteThroughImmutablePointer

Trait Implementations

impl Clone for ConstEvalErrKind

fn clone(&self) -> ConstEvalErrKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConstEvalErrKind

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

Formats the value using the given formatter.

impl<'tcx> Into<InterpErrorInfo<'tcx>> for ConstEvalErrKind

The errors become InterpErrorKind::MachineStop when being raised.

fn into(self) -> InterpErrorInfo<'tcx>

Converts this type into the (usually inferred) input type.

impl MachineStopType for ConstEvalErrKind

fn diagnostic_message(&self) -> DiagMessage

The diagnostic message for this error

fn add_args(self: Box<Self>, adder: &mut dyn FnMut(DiagArgName, DiagArgValue))

Add diagnostic arguments by passing name and value pairs to adder, which are passed to fluent for formatting the translated diagnostic message.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes

Size for each variant:

• ConstAccessesMutGlobal: 0 bytes
• ModifiedGlobal: 0 bytes
• RecursiveStatic: 0 bytes
• AssertFailure: 39 bytes
• Panic: 19 bytes
• WriteThroughImmutablePointer: 0 bytes