Enum SelectionError 

pub enum SelectionError<'db> {
    Unimplemented,
    SignatureMismatch(Box<SignatureMismatchData<'db>>),
    TraitDynIncompatible(TraitId),
    NotConstEvaluatable(NotConstEvaluatable),
    Overflow(OverflowError),
    OpaqueTypeAutoTraitLeakageUnknown(InternedOpaqueTyId),
    ConstArgHasWrongType {
        ct: Const<'db>,
        ct_ty: Ty<'db>,
        expected_ty: Ty<'db>,
    },
}

Variants

Unimplemented

The trait is not implemented.

SignatureMismatch(Box<SignatureMismatchData<'db>>)

After a closure impl has selected, its “outputs” were evaluated (which for closures includes the “input” type params) and they didn’t resolve. See confirm_poly_trait_refs for more.

TraitDynIncompatible(TraitId)

The trait pointed by DefId is dyn-incompatible.

NotConstEvaluatable(NotConstEvaluatable)

A given constant couldn’t be evaluated.

Overflow(OverflowError)

Exceeded the recursion depth during type projection.

OpaqueTypeAutoTraitLeakageUnknown(InternedOpaqueTyId)

Computing an opaque type’s hidden type caused an error (e.g. a cycle error). We can thus not know whether the hidden type implements an auto trait, so we should not presume anything about it.

ConstArgHasWrongType

Error for a ConstArgHasType goal

Fields

ct: Const<'db>

ct_ty: Ty<'db>

expected_ty: Ty<'db>

Trait Implementations

impl<'db> Clone for SelectionError<'db>

fn clone(&self) -> SelectionError<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for SelectionError<'db>

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

Formats the value using the given formatter.

impl<'db> PartialEq for SelectionError<'db>

fn eq(&self, other: &SelectionError<'db>) -> 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<'db> Eq for SelectionError<'db>

impl<'db> StructuralPartialEq for SelectionError<'db>