Remove spurious assertion

varkor · varkor · commit 97c0c6653bb3 · 2019-05-01T23:11:19.000+01:00
diff --git a/src/librustc/ty/relate.rs b/src/librustc/ty/relate.rs
@@ -596,9 +596,6 @@ pub fn super_relate_consts<'a, 'gcx, 'tcx, R>(
 where
     R: TypeRelation<'a, 'gcx, 'tcx>, 'gcx: 'a+'tcx, 'tcx: 'a
 {
-    // Only consts whose types are equal should be compared.
-    assert_eq!(a.ty, b.ty);
-
     let tcx = relation.tcx();
 
     // Currently, the values that can be unified are those that

Original file line number	Diff line number	Diff line change
`@@ -596,9 +596,6 @@ pub fn super_relate_consts<'a, 'gcx, 'tcx, R>(`
`596`	`596`	`where`
`597`	`597`	`R: TypeRelation<'a, 'gcx, 'tcx>, 'gcx: 'a+'tcx, 'tcx: 'a`
`598`	`598`	`{`
`599`		`- // Only consts whose types are equal should be compared.`
`600`		`- assert_eq!(a.ty, b.ty);`
`601`		`-`
`602`	`599`	`let tcx = relation.tcx();`
`603`	`600`
`604`	`601`	`// Currently, the values that can be unified are those that`