account for use of index-based lifetime names in print of binder

2026-05-29 20:46:07 +03:00 · 2022-09-28 12:31:08 +02:00
parent 837bf370de
commit 4fdc78e6bf
1 changed files with 10 additions and 4 deletions
@@ -2173,10 +2173,16 @@ fn name_by_region_index(

        let mut region_index = self.region_index;
        let mut next_name = |this: &Self| {
-            let name = name_by_region_index(region_index, &mut available_names, num_available);
-            debug!(?name);
-            region_index += 1;
-            assert!(!this.used_region_names.contains(&name));
+            let mut name;
+
+            loop {
+                name = name_by_region_index(region_index, &mut available_names, num_available);
+                region_index += 1;
+
+                if !this.used_region_names.contains(&name) {
+                    break;
+                }
+            }

            name
        };