Enum OverflowError

pub enum OverflowError {
    Error(ErrorGuaranteed),
    Canonical,
}

Indicates that trait evaluation caused overflow and in which pass.

Variants

Error(ErrorGuaranteed)

Canonical

Trait Implementations

impl Clone for OverflowError

fn clone(&self) -> OverflowError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for OverflowError

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

Formats the value using the given formatter.

impl EraseType for OverflowError

type Result = [u8; 1]

impl From<ErrorGuaranteed> for OverflowError

fn from(e: ErrorGuaranteed) -> OverflowError

Converts to this type from the input type.

impl<'tcx> From<OverflowError> for SelectionError<'tcx>

fn from(overflow_error: OverflowError) -> SelectionError<'tcx>

Converts to this type from the input type.

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

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

impl PartialEq for OverflowError

fn eq(&self, other: &OverflowError) -> 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<'tcx> TypeFoldable<TyCtxt<'tcx>> for OverflowError

fn try_fold_with<F>( self, _: &mut F, ) -> Result<OverflowError, <F as FallibleTypeFolder<TyCtxt<'tcx>>>::Error>

where F: FallibleTypeFolder<TyCtxt<'tcx>>,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F>(self, _: &mut F) -> OverflowError

where F: TypeFolder<TyCtxt<'tcx>>,

A convenient alternative to try_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_fold_with.

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for OverflowError

fn visit_with<F>(&self, _: &mut F) -> <F as TypeVisitor<TyCtxt<'tcx>>>::Result

where F: TypeVisitor<TyCtxt<'tcx>>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl Copy for OverflowError

impl Eq for OverflowError

impl StructuralPartialEq for OverflowError

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

Size for each variant:

• Error: 0 bytes
• Canonical: 0 bytes