WalkReturn in rustc_data_structures::graph::scc - Rust (original) (raw)

enum WalkReturn<S, A: Annotation> {
    Cycle {
        min_depth: usize,
        annotation: A,
    },
    Complete {
        scc_index: S,
        annotation: A,
    },
}

Expand description

The state of walking a given node.

§

The walk found a cycle, but the entire component is not known to have been fully walked yet. We only know the minimum depth of this component in a minimum spanning tree of the graph. This component is tentatively represented by the state of the first node of this cycle we met, which is at min_depth.

Fields

§

The SCC and everything reachable from it have been fully walked. At this point we know what is inside the SCC as we have visited every node reachable from it. The SCC can now be fully represented by its ID.

Fields

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.