Struct ReportedErrorInfo 

pub struct ReportedErrorInfo {
    error: ErrorGuaranteed,
    allowed_in_infallible: bool,
}

Fields

error: ErrorGuaranteed

allowed_in_infallible: bool

Whether this error is allowed to show up even in otherwise “infallible” promoteds. This is for things like overflows during size computation or resource exhaustion.

Implementations

impl ReportedErrorInfo

pub fn const_eval_error(error: ErrorGuaranteed) -> ReportedErrorInfo

pub fn non_const_eval_error(error: ErrorGuaranteed) -> ReportedErrorInfo

Use this when the error that led to this is not a const-eval error (e.g., a layout or type checking error).

pub fn allowed_in_infallible(error: ErrorGuaranteed) -> ReportedErrorInfo

Use this when the error that led to this is a const-eval error, but we do allow it to occur in infallible constants (e.g., resource exhaustion).

pub fn is_allowed_in_infallible(&self) -> bool

Trait Implementations

impl Clone for ReportedErrorInfo

fn clone(&self) -> ReportedErrorInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReportedErrorInfo

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

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for ReportedErrorInfo

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for ReportedErrorInfo

fn encode(&self, __encoder: &mut __E)

impl From<ReportedErrorInfo> for ErrorGuaranteed

fn from(val: ReportedErrorInfo) -> Self

Converts to this type from the input type.

impl From<ReportedErrorInfo> for ErrorHandled

fn from(error: ReportedErrorInfo) -> ErrorHandled

Converts to this type from the input type.

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for ReportedErrorInfo

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher, )

impl PartialEq for ReportedErrorInfo

fn eq(&self, other: &ReportedErrorInfo) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ReportedErrorInfo

impl Eq for ReportedErrorInfo

impl StructuralPartialEq for ReportedErrorInfo

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: 1 byte