Document ControlFlowGraph

Author: WaffleLapkin

compiler/rustc_data_structures/src/graph/mod.rs

@@ -44,10 +44,8 @@ pub trait Predecessors: DirectedGraph {
 fnpredecessors(&self,node:Self::Node) -> Self::Predecessors<'_>;
 }
 
-pubtraitControlFlowGraph:DirectedGraph + StartNode + Predecessors + Successors{
-// convenient trait
-}
-
+/// Alias for [`DirectedGraph`] + [`StartNode`] + [`Predecessors`] + [`Successors`].
+pubtraitControlFlowGraph:DirectedGraph + StartNode + Predecessors + Successors{}
 impl<T>ControlFlowGraphforTwhereT:DirectedGraph + StartNode + Predecessors + Successors{}
 
 /// Returns `true` if the graph has a cycle that is reachable from the start node.