Remove spurious assertion
This commit is contained in:
parent
67176f751b
commit
97c0c6653b
1 changed files with 0 additions and 3 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue