Struct rustc_mir::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,
    emit: impl FnOnce(DiagnosticBuilder<'_>)
) -> 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

pub(in const_eval::error) fn struct_generic(
    &self,
    tcx: TyCtxtAt<'tcx>,
    message: &str,
    emit: impl FnOnce(DiagnosticBuilder<'_>),
    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 emit to do any final processing. It's the caller's responsibility to call emit(), stash(), etc. within the emit function to dispose of the diagnostic properly.

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>

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

Formats the value using the given formatter.