Enum FulfillmentErrorCode 

pub enum FulfillmentErrorCode<'db> {
    Cycle(Vec<Obligation<'db, Predicate<'db>>>),
    Select(SelectionError<'db>),
    Project(MismatchedProjectionTypes<'db>),
    Subtype(ExpectedFound<Ty<'db>>, TypeError<DbInterner<'db>>),
    ConstEquate(ExpectedFound<Const<'db>>, TypeError<DbInterner<'db>>),
    Ambiguity {
        overflow: Option<bool>,
    },
}

Variants

Cycle(Vec<Obligation<'db, Predicate<'db>>>)

Inherently impossible to fulfill; this trait is implemented if and only if it is already implemented.

Select(SelectionError<'db>)

Project(MismatchedProjectionTypes<'db>)

Subtype(ExpectedFound<Ty<'db>>, TypeError<DbInterner<'db>>)

ConstEquate(ExpectedFound<Const<'db>>, TypeError<DbInterner<'db>>)

Ambiguity

Fields

overflow: Option<bool>

Overflow is only Some(suggest_recursion_limit) when using the next generation trait solver -Znext-solver. With the old solver overflow is eagerly handled by emitting a fatal error instead.

Trait Implementations

impl<'db> Clone for FulfillmentErrorCode<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for FulfillmentErrorCode<'db>

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

Formats the value using the given formatter.