From 08832da5e7946a4ef76f621fa8860d9e2f50deba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jana=20D=C3=B6nszelmann?= <jana@donsz.nl>
Date: Tue, 2 Jun 2026 14:30:30 +0200
Subject: [PATCH] make typing mode exhaustive again...

---
 compiler/rustc_type_ir/src/infer_ctxt.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/rustc_type_ir/src/infer_ctxt.rs b/compiler/rustc_type_ir/src/infer_ctxt.rs
index 7957bacda5677..7d8c6bdca8800 100644
--- a/compiler/rustc_type_ir/src/infer_ctxt.rs
+++ b/compiler/rustc_type_ir/src/infer_ctxt.rs
@@ -63,6 +63,7 @@ impl TypingModeErasedStatus for MayBeErased {}
     feature = "nightly",
     derive(Encodable_NoContext, Decodable_NoContext, StableHash_NoContext)
 )]
+#[cfg_attr(feature = "nightly", rustc_must_match_exhaustively)]
 pub enum TypingMode<I: Interner, S: TypingModeErasedStatus = MayBeErased> {
     /// When checking whether impls overlap, we check whether any obligations
     /// are guaranteed to never hold when unifying the impls. This requires us