Enum RebaseReason 

enum RebaseReason {
    NoCycleUsages,
    Ambiguity,
    Overflow,
    ReachedFixpoint(Option<PathKind>),
}

We need to rebase provisional cache entries when popping one of their cycle heads from the stack. This may not necessarily mean that we’ve actually reached a fixpoint for that cycle head, which impacts the way we rebase provisional cache entries.

Variants

NoCycleUsages

Ambiguity

Overflow

ReachedFixpoint(Option<PathKind>)

We’ve actually reached a fixpoint.

This either happens in the first evaluation step for the cycle head. In this case the used provisional result depends on the cycle PathKind. We store this path kind to check whether the the provisional cache entry we’re rebasing relied on the same cycles.

In later iterations cycles always return stack_entry.provisional_result so we no longer depend on the PathKind. We store None in that case.

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:

• NoCycleUsages: 0 bytes
• Ambiguity: 0 bytes
• Overflow: 0 bytes
• ReachedFixpoint: 1 byte