Some ICE debugging aids

oli-obk · oli-obk · commit ed61be60da3b · 2022-12-20T15:01:37.000Z
diff --git a/compiler/rustc_middle/src/ty/subst.rs b/compiler/rustc_middle/src/ty/subst.rs
@@ -348,7 +348,7 @@ impl<'tcx> InternalSubsts<'tcx> {
         substs.reserve(defs.params.len());
         for param in &defs.params {
             let kind = mk_kind(param, substs);
-            assert_eq!(param.index as usize, substs.len());
+            assert_eq!(param.index as usize, substs.len(), "{substs:#?}, {defs:#?}");
             substs.push(kind);
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -348,7 +348,7 @@ impl<'tcx> InternalSubsts<'tcx> {`
`348`	`348`	`substs.reserve(defs.params.len());`
`349`	`349`	`for param in &defs.params {`
`350`	`350`	`let kind = mk_kind(param, substs);`
`351`		`- assert_eq!(param.index as usize, substs.len());`
	`351`	`+ assert_eq!(param.index as usize, substs.len(), "{substs:#?}, {defs:#?}");`
`352`	`352`	`substs.push(kind);`
`353`	`353`	`}`
`354`	`354`	`}`