Trait rustc_const_eval::ReportErrorExt

pub trait ReportErrorExt {
    // Required methods
    fn diagnostic_message(&self) -> DiagMessage;
    fn add_args<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>);

    // Provided method
    fn debug(self) -> String
       where Self: Sized { ... }
}

Required Methods

fn diagnostic_message(&self) -> DiagMessage

Returns the diagnostic message for this error.

fn add_args<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>)

Provided Methods

fn debug(self) -> String

where Self: Sized,

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl ReportErrorExt for ResourceExhaustionInfo

fn diagnostic_message(&self) -> DiagMessage

fn add_args<G: EmissionGuarantee>(self, _: &mut Diag<'_, G>)

impl ReportErrorExt for UnsupportedOpInfo

fn diagnostic_message(&self) -> DiagMessage

fn add_args<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>)

impl<'a> ReportErrorExt for UndefinedBehaviorInfo<'a>

fn diagnostic_message(&self) -> DiagMessage

fn add_args<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>)

impl<'tcx> ReportErrorExt for InterpError<'tcx>

fn diagnostic_message(&self) -> DiagMessage

fn add_args<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>)

impl<'tcx> ReportErrorExt for InvalidProgramInfo<'tcx>

fn diagnostic_message(&self) -> DiagMessage

fn add_args<G: EmissionGuarantee>(self, diag: &mut Diag<'_, G>)

impl<'tcx> ReportErrorExt for ValidationErrorInfo<'tcx>

fn diagnostic_message(&self) -> DiagMessage

fn add_args<G: EmissionGuarantee>(self, err: &mut Diag<'_, G>)

Implementors