remove bivariance

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

diff --git a/src/librustc/infer/glb.rs b/src/librustc/infer/glb.rs
index 8ccadc6b2af044819d5c7a2f4586d4ef6cf5b8f8..8c167e0a8ac9195b551dcc9bb23b4e026fb807e5 100644 (file)
--- a/src/librustc/infer/glb.rs
+++ b/src/librustc/infer/glb.rs
@@ -49,7 +49,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.fields.lub(self.a_is_expected).relate(a, b),
         }
     }