From f774c5100eac610dc3fd11f5a245d8e4257566e1 Mon Sep 17 00:00:00 2001
From: lcnr <rust@lcnr.de>
Date: Fri, 2 Oct 2026 10:08:47 +0200
Subject: [PATCH] `Clause::kind` unreachable unchecked

---
 compiler/rustc_middle/src/ty/predicate.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/rustc_middle/src/ty/predicate.rs b/compiler/rustc_middle/src/ty/predicate.rs
index 983293e81e5f9..9823a9e33d41b 100644
--- a/compiler/rustc_middle/src/ty/predicate.rs
+++ b/compiler/rustc_middle/src/ty/predicate.rs
@@ -173,7 +173,8 @@ impl<'tcx> Clause<'tcx> {
     pub fn kind(self) -> ty::Binder<'tcx, ClauseKind<'tcx>> {
         self.0.internee.map_bound(|kind| match kind {
             PredicateKind::Clause(clause) => clause,
-            _ => unreachable!(),
+            // SAFETY: This function is incredibly hot. Let's make it optimize better.
+            _ => unsafe { std::hint::unreachable_unchecked() },
         })
     }