Enum RebaseReason 

enum RebaseReason<X: Cx> {
    NoCycleUsages,
    Ambiguity(X::AmbiguityInfo),
    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(X::AmbiguityInfo)

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: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.