remove bivariance

[rust.git] / src / librustc / infer / sub.rs

diff --git a/src/librustc/infer/sub.rs b/src/librustc/infer/sub.rs
index dae30ea97c80d5169e57498f7706f2c6144f35c4..a6b0e02d477224ebdf3cfd22441a0e3ae062bfcc 100644 (file)
--- a/src/librustc/infer/sub.rs
+++ b/src/librustc/infer/sub.rs
@@ -65,7 +65,7 @@ fn relate_with_variance<T: Relate<'tcx>>(&mut self,
         match variance {
             ty::Invariant => self.fields.equate(self.a_is_expected).relate(a, b),
             ty::Covariant => self.relate(a, b),
-            ty::Bivariant => self.fields.bivariate(self.a_is_expected).relate(a, b),
+            ty::Bivariant => Ok(a.clone()),
             ty::Contravariant => self.with_expected_switched(|this| { this.relate(b, a) }),
         }
     }