Enum rustc_trait_selection::traits::select::TreatInductiveCycleAs

pub enum TreatInductiveCycleAs {
    Recur,
    Ambig,
}

Variants

Recur

This is the previous behavior, where Recur represents an inductive cycle that is known not to hold. This is not forwards-compatible with coinduction, and will be deprecated. This is the default behavior of the old trait solver due to back-compat reasons.

Ambig

This is the behavior of the new trait solver, where inductive cycles are treated as ambiguous and possibly holding.

Trait Implementations

impl Clone for TreatInductiveCycleAs

fn clone(&self) -> TreatInductiveCycleAs

Returns a copy of the value.

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

Performs copy-assignment from source.

impl From<TreatInductiveCycleAs> for EvaluationResult

fn from(treat: TreatInductiveCycleAs) -> EvaluationResult

Converts to this type from the input type.

impl Copy for TreatInductiveCycleAs

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:

• Recur: 0 bytes
• Ambig: 0 bytes