From f8b46e1c638b67f72c0fb6d45d9dde9dc8c95b27 Mon Sep 17 00:00:00 2001
From: lcnr <rust@lcnr.de>
Date: Wed, 15 Jan 2025 12:07:24 +0100
Subject: [PATCH] HACK: avoid `give_region_a_name` ICE

---
 compiler/rustc_borrowck/src/diagnostics/region_name.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/compiler/rustc_borrowck/src/diagnostics/region_name.rs b/compiler/rustc_borrowck/src/diagnostics/region_name.rs
index 9349b46ec5b0c..ad940e52b7c20 100644
--- a/compiler/rustc_borrowck/src/diagnostics/region_name.rs
+++ b/compiler/rustc_borrowck/src/diagnostics/region_name.rs
@@ -265,6 +265,13 @@ impl<'tcx> MirBorrowckCtxt<'_, '_, 'tcx> {
                     .or_else(|| self.give_name_if_anonymous_region_appears_in_impl_signature(fr))
                     .or_else(|| {
                         self.give_name_if_anonymous_region_appears_in_arg_position_impl_trait(fr)
+                    })
+                    .or_else(|| {
+                        Some(RegionName {
+                            name: self.synthesize_region_name(),
+                            source: RegionNameSource::Static,
+                        })
+                    });
                     });
 
                 if let Some(new_name) = new_name {