From c6d39dea5d76d3d09e89813126cb11039a8c5a3e Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Wed, 1 Nov 2017 11:35:15 -0700
Subject: [PATCH] Add a comment about shrink_to_fit().

---
 lib/frontend/src/ssa.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/frontend/src/ssa.rs b/lib/frontend/src/ssa.rs
index 8ba9bfdb9a..12e77170d0 100644
--- a/lib/frontend/src/ssa.rs
+++ b/lib/frontend/src/ssa.rs
@@ -441,6 +441,9 @@ where
                 debug_assert!(!data.sealed);
                 debug_assert!(data.undef_variables.is_empty());
                 data.sealed = true;
+                // We could call data.predecessors.shrink_to_fit() here, if
+                // important, because no further predecessors will be added
+                // to this block.
             }
         }
     }