about summary refs log tree commit diff
diff options
context:
space:
mode:
authorDaria Sukhonina <dariasukhonina@gmail.com>2024-04-22 15:41:08 +0300
committerDaria Sukhonina <dariasukhonina@gmail.com>2024-04-22 15:41:08 +0300
commit0881e3e531b6fd879107d754f1e807cd591f2d48 (patch)
treeb91c00c9ce7f9c827d1dc277be746139c6f3a072
parente239e73a77cda38b53e9a7716e01f0c2af995ff5 (diff)
downloadrust-0881e3e531b6fd879107d754f1e807cd591f2d48.tar.gz
rust-0881e3e531b6fd879107d754f1e807cd591f2d48.zip
Exhaustivelly match TyKind in consider_builtin_async_destruct_candidate
-rw-r--r--compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs b/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs
index e4d961a7f0c..7dda3411806 100644
--- a/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs
+++ b/compiler/rustc_trait_selection/src/solve/normalizes_to/mod.rs
@@ -855,7 +855,7 @@ impl<'tcx> assembly::GoalKind<'tcx> for NormalizesTo<'tcx> {
                 goal.predicate.self_ty()
             ),
 
-            _ => bug!(
+            ty::Pat(..) | ty::Dynamic(..) | ty::Coroutine(..) | ty::CoroutineWitness(..) => bug!(
                 "`consider_builtin_async_destruct_candidate` is not yet implemented for type: {self_ty:?}"
             ),
         };