Enum UpdateParentGoalCtxt

enum UpdateParentGoalCtxt<'a, X: Cx> {
    Ordinary(&'a NestedGoals<X>),
    ProvisionalCacheHit,
}

While SearchGraph::update_parent_goal can be mostly shared between ordinary nested goals/global cache hits and provisional cache hits, using the provisional cache should not add any nested goals.

nested_goals are only used when checking whether global cache entries are applicable. This only cares about whether a goal is actually accessed. Given that the usage of the provisional cache is fully determinstic, we don’t need to track the nested goals used while computing a provisional cache entry.

Variants

Ordinary(&'a NestedGoals<X>)

ProvisionalCacheHit

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: 8 bytes

Size for each variant:

• Ordinary: 8 bytes
• ProvisionalCacheHit: 0 bytes