Struct rustc_const_eval::const_eval::ConstEvalErr

pub struct ConstEvalErr<'tcx> {
    pub span: Span,
    pub error: InterpError<'tcx>,
    pub stacktrace: Vec<FrameInfo<'tcx>>,
}

When const-evaluation errors, this type is constructed with the resulting information, and then used to emit the error as a lint or hard error.

Fields

span: Span

error: InterpError<'tcx>

stacktrace: Vec<FrameInfo<'tcx>>

Implementations

impl<'tcx> ConstEvalErr<'tcx>

pub fn new<'mir, M: Machine<'mir, 'tcx>>(
    ecx: &InterpCx<'mir, 'tcx, M>,
    error: InterpErrorInfo<'tcx>,
    span: Option<Span>
) -> ConstEvalErr<'tcx>where
    'tcx: 'mir,

Turn an interpreter error into something to report to the user. As a side-effect, if RUSTC_CTFE_BACKTRACE is set, this prints the backtrace. Should be called only if the error is actually going to to be reported!

pub fn struct_error(
    &self,
    tcx: TyCtxtAt<'tcx>,
    message: &str,
    decorate: impl FnOnce(&mut Diagnostic)
) -> ErrorHandled

pub fn report_as_error(&self, tcx: TyCtxtAt<'tcx>, message: &str) -> ErrorHandled

pub fn report_as_lint(
    &self,
    tcx: TyCtxtAt<'tcx>,
    message: &str,
    lint_root: HirId,
    span: Option<Span>
) -> ErrorHandled

fn struct_generic(
    &self,
    tcx: TyCtxtAt<'tcx>,
    message: &str,
    decorate: impl FnOnce(&mut Diagnostic),
    lint_root: Option<HirId>
) -> ErrorHandled

Create a diagnostic for this const eval error.

Sets the message passed in via message and adds span labels with detailed error information before handing control back to decorate to do any final annotations, after which the diagnostic is emitted.

If lint_root.is_some() report it as a lint, else report it as a hard error. (Except that for some errors, we ignore all that – see must_error below.)

Trait Implementations

impl<'tcx> Debug for ConstEvalErr<'tcx>

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

Formats the value using the given formatter.

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: 96 bytes