Enum CurrentGoalKind

enum CurrentGoalKind {
    Misc,
    CoinductiveTrait,
    NormalizesTo,
}

The kind of goal we’re currently proving.

This has effects on cycle handling handling and on how we compute query responses, see the variant descriptions for more info.

Variants

Misc

CoinductiveTrait

We’re proving an trait goal for a coinductive trait, either an auto trait or Sized.

These are currently the only goals whose impl where-clauses are considered to be productive steps.

NormalizesTo

Unlike other goals, NormalizesTo goals act like functions with the expected term always being fully unconstrained. This would weaken inference however, as the nested goals never get the inference constraints from the actual normalized-to type.

Because of this we return any ambiguous nested goals from NormalizesTo to the caller when then adds these to its own context. The caller is always an AliasRelate goal so this never leaks out of the solver.

Implementations

impl CurrentGoalKind

fn from_query_input<I: Interner>( cx: I, input: QueryInput<I, I::Predicate>, ) -> CurrentGoalKind

Trait Implementations

impl Clone for CurrentGoalKind

fn clone(&self) -> CurrentGoalKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CurrentGoalKind

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

Formats the value using the given formatter.

impl Copy for CurrentGoalKind

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:

• Misc: 0 bytes
• CoinductiveTrait: 0 bytes
• NormalizesTo: 0 bytes