about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2019-06-24 15:00:09 -0400
committerNiko Matsakis <niko@alum.mit.edu>2019-07-02 12:25:22 -0400
commitd2772e89899071bfb830d949ab53022b758cdf06 (patch)
treeebaabae557ee124172070001b8779c21109c8d26
parent56ae0bfc7965b34e9170f2c954c6fbe6cbd86839 (diff)
downloadrust-d2772e89899071bfb830d949ab53022b758cdf06.tar.gz
rust-d2772e89899071bfb830d949ab53022b758cdf06.zip
explain why the code is the way it is
-rw-r--r--src/librustc/infer/lexical_region_resolve/mod.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustc/infer/lexical_region_resolve/mod.rs b/src/librustc/infer/lexical_region_resolve/mod.rs
index 17f2321f8db..aa37ed6e9e0 100644
--- a/src/librustc/infer/lexical_region_resolve/mod.rs
+++ b/src/librustc/infer/lexical_region_resolve/mod.rs
@@ -204,6 +204,8 @@ impl<'cx, 'tcx> LexicalResolver<'cx, 'tcx> {
         graph: &RegionGraph<'tcx>,
         var_values: &mut LexicalRegionResolutions<'tcx>,
     ) -> bool {
+        // Note: we don't use the `any` combinator because we don't
+        // want to stop at the first constraint that makes a change.
         let mut any_changed = false;
         for member_constraint in &self.data.member_constraints {
             if self.enforce_member_constraint(graph, member_constraint, var_values) {