We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e2a511f commit e11c667Copy full SHA for e11c667
compiler/rustc_infer/src/infer/lub.rs
@@ -50,7 +50,7 @@ impl TypeRelation<'tcx> for Lub<'combine, 'infcx, 'tcx> {
50
ty::Invariant => self.fields.equate(self.a_is_expected).relate(a, b),
51
ty::Covariant => self.relate(a, b),
52
// FIXME(#41044) -- not correct, need test
53
- ty::Bivariant => Ok(a.clone()),
+ ty::Bivariant => Ok(a),
54
ty::Contravariant => self.fields.glb(self.a_is_expected).relate(a, b),
55
}
56
0 commit comments