Expand comment on disappearing edge.

rust-lang · Oct 20, 2023 · 70ebd1a · 70ebd1a
1 parent 3b292ea
commit 70ebd1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/rustc_mir_transform/src/jump_threading.rs b/compiler/rustc_mir_transform/src/jump_threading.rs
@@ -645,7 +645,7 @@ impl OpportunitySet {
             debug!(?current, ?succ);
 
             // `succ` must be a successor of `current`. If it is not, this means this TO is not
-            // satisfiable, so we bail out.
+            // satisfiable and a previous TO erased this edge, so we bail out.
             if basic_blocks[current].terminator().successors().find(|s| *s == succ).is_none() {
                 debug!("impossible");
                 return;