about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/generics.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-09-15 16:41:00 -0400
committerMichael Goulet <michael@errs.io>2024-09-16 10:57:06 -0400
commit1e9fa7eb79072274fbd741f09e9444249e1d4ff0 (patch)
tree9bcd9a76fda29ada7b785201fd4ace5c890924d8 /compiler/rustc_middle/src/ty/generics.rs
parent13b5a4e43b92cf738acad403ea56900947f9d37b (diff)
downloadrust-1e9fa7eb79072274fbd741f09e9444249e1d4ff0.tar.gz
rust-1e9fa7eb79072274fbd741f09e9444249e1d4ff0.zip
Don't ICE when RPITIT captures more method args than trait definition
Diffstat (limited to 'compiler/rustc_middle/src/ty/generics.rs')
-rw-r--r--compiler/rustc_middle/src/ty/generics.rs8
1 files changed, 5 insertions, 3 deletions
diff --git a/compiler/rustc_middle/src/ty/generics.rs b/compiler/rustc_middle/src/ty/generics.rs
index bbc696e0f08..5f9a89c3a5b 100644
--- a/compiler/rustc_middle/src/ty/generics.rs
+++ b/compiler/rustc_middle/src/ty/generics.rs
@@ -255,7 +255,9 @@ impl<'tcx> Generics {
         let param = self.param_at(param.index as usize, tcx);
         match param.kind {
             GenericParamDefKind::Lifetime => param,
-            _ => bug!("expected lifetime parameter, but found another generic parameter"),
+            _ => {
+                bug!("expected lifetime parameter, but found another generic parameter: {param:#?}")
+            }
         }
     }
 
@@ -264,7 +266,7 @@ impl<'tcx> Generics {
         let param = self.param_at(param.index as usize, tcx);
         match param.kind {
             GenericParamDefKind::Type { .. } => param,
-            _ => bug!("expected type parameter, but found another generic parameter"),
+            _ => bug!("expected type parameter, but found another generic parameter: {param:#?}"),
         }
     }
 
@@ -273,7 +275,7 @@ impl<'tcx> Generics {
         let param = self.param_at(param.index as usize, tcx);
         match param.kind {
             GenericParamDefKind::Const { .. } => param,
-            _ => bug!("expected const parameter, but found another generic parameter"),
+            _ => bug!("expected const parameter, but found another generic parameter: {param:#?}"),
         }
     }