Enum ScrubbedTraitError

pub enum ScrubbedTraitError<'tcx> {
    TrueError,
    Ambiguity,
    Cycle(ThinVec<Obligation<'tcx, Predicate<'tcx>>>),
}

A trait error with most of its information removed. This is the error returned by an ObligationCtxt by default, and suitable if you just want to see if a predicate holds, and don’t particularly care about the error itself (except for if it’s an ambiguity or true error).

use ObligationCtxt::new_with_diagnostics to get a FulfillmentError.

Variants

TrueError

A real error. This goal definitely does not hold.

Ambiguity

An ambiguity. This goal may hold if further inference is done.

Cycle(ThinVec<Obligation<'tcx, Predicate<'tcx>>>)

An old-solver-style cycle error, which will fatal.

Implementations

impl<'tcx> ScrubbedTraitError<'tcx>

pub fn is_true_error(&self) -> bool

Trait Implementations

impl<'tcx> Clone for ScrubbedTraitError<'tcx>

fn clone(&self) -> ScrubbedTraitError<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ScrubbedTraitError<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> FromSolverError<'tcx, NextSolverError<'tcx>> for ScrubbedTraitError<'tcx>

fn from_solver_error( _infcx: &InferCtxt<'tcx>, error: NextSolverError<'tcx>, ) -> Self

impl<'tcx> FromSolverError<'tcx, OldSolverError<'tcx>> for ScrubbedTraitError<'tcx>

fn from_solver_error( _infcx: &InferCtxt<'tcx>, error: OldSolverError<'tcx>, ) -> Self

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

Size for each variant:

• TrueError: 0 bytes
• Ambiguity: 0 bytes
• Cycle: 8 bytes