Clarify how branching works in a CFG

diff --git a/compiler/rustc_middle/src/mir/mod.rs b/compiler/rustc_middle/src/mir/mod.rs
index aeaea0d102c0d6015e680cdc1de3b328e499feef..6f6585d383d5236747409ac424611a5903df8aed 100644 (file)
--- a/compiler/rustc_middle/src/mir/mod.rs
+++ b/compiler/rustc_middle/src/mir/mod.rs
@@ -1079,9 +1079,11 @@ pub struct VarDebugInfo<'tcx> {
     /// The unit of the MIR [control-flow graph][CFG].
     ///
     /// There is no branching (e.g., `if`s, function calls, etc.) within a basic block, which makes
-    /// it easier to do [data-flow analyses] and optimizations. Basic blocks consist of a series of
-    /// [statements][`Statement`], ending with a [terminator][`Terminator`]. Basic blocks can have
-    /// multiple predecessors and successors.
+    /// it easier to do [data-flow analyses] and optimizations. Instead, branches are represented
+    /// as an edge in a graph between basic blocks.
+    ///
+    /// Basic blocks consist of a series of [statements][`Statement`], ending with a
+    /// [terminator][`Terminator`]. Basic blocks can have multiple predecessors and successors.
     ///
     /// Read more about basic blocks in the [rustc-dev-guide][guide-mir].
     ///