Assert that ParamTys have identical names

compiler-errors · compiler-errors · commit 9ca645ae9dd5 · 2024-02-03T18:39:32.000Z
diff --git a/compiler/rustc_middle/src/ty/relate.rs b/compiler/rustc_middle/src/ty/relate.rs
@@ -435,7 +435,10 @@ pub fn structurally_relate_tys<'tcx, R: TypeRelation<'tcx>>(
             Ok(a)
         }
 
-        (ty::Param(a_p), ty::Param(b_p)) if a_p.index == b_p.index => Ok(a),
+        (ty::Param(a_p), ty::Param(b_p)) if a_p.index == b_p.index => {
+            debug_assert_eq!(a_p.name, b_p.name, "param types with same index differ in name");
+            Ok(a)
+        },
 
         (ty::Placeholder(p1), ty::Placeholder(p2)) if p1 == p2 => Ok(a),
 

Original file line number	Diff line number	Diff line change
`@@ -435,7 +435,10 @@ pub fn structurally_relate_tys<'tcx, R: TypeRelation<'tcx>>(`
`435`	`435`	`Ok(a)`
`436`	`436`	`}`
`437`	`437`
`438`		`- (ty::Param(a_p), ty::Param(b_p)) if a_p.index == b_p.index => Ok(a),`
	`438`	`+ (ty::Param(a_p), ty::Param(b_p)) if a_p.index == b_p.index => {`
	`439`	`+ debug_assert_eq!(a_p.name, b_p.name, "param types with same index differ in name");`
	`440`	`+ Ok(a)`
	`441`	`+ },`
`439`	`442`
`440`	`443`	`(ty::Placeholder(p1), ty::Placeholder(p2)) if p1 == p2 => Ok(a),`
`441`	`444`