Some types cannot show up as the type of a pattern.

rust-lang · Dec 8, 2023 · 76018cd · 76018cd
1 parent ddef5b6
commit 76018cd
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs b/compiler/rustc_mir_build/src/thir/pattern/deconstruct_pat.rs
@@ -1101,13 +1101,14 @@ impl ConstructorSet {
             | ty::Dynamic(_, _, _)
             | ty::Closure(_, _)
             | ty::Coroutine(_, _, _)
-            | ty::CoroutineWitness(_, _)
             | ty::Alias(_, _)
             | ty::Param(_)
             | ty::Bound(_, _)
             | ty::Placeholder(_)
-            | ty::Infer(_)
             | ty::Error(_) => Self::Unlistable,
+            ty::CoroutineWitness(_, _) | ty::Infer(_) => {
+                bug!("Encountered unexpected type in `ConstructorSet::for_ty`: {ty:?}")
+            }
         }
     }