fn terminator_successors(kind: &TerminatorKind<'_>) -> Vec<BasicBlock>Expand description
Compute MIR successor blocks for one terminator.
The extractor includes normal successors and cleanup successors so the skeleton reflects all CFG edges that can affect reachability. Later phases may decide whether a cleanup path is relevant to a particular obligation.