diff options
| -rw-r--r-- | src/librustc/traits/select.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/librustc/traits/select.rs b/src/librustc/traits/select.rs index 0742f377f18..126c158f846 100644 --- a/src/librustc/traits/select.rs +++ b/src/librustc/traits/select.rs @@ -2111,17 +2111,6 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> { data.principal().with_self_ty(this.tcx(), self_ty) } ty::Infer(ty::TyVar(_)) => { - // Object-safety candidates are only applicable to object-safe - // traits. Including this check is useful because it helps - // inference in cases of traits like `BorrowFrom`, which are - // not object-safe, and which rely on being able to infer the - // self-type from one of the other inputs. Without this check, - // these cases wind up being considered ambiguous due to a - // (spurious) ambiguity introduced here. - let predicate_trait_ref = obligation.predicate.to_poly_trait_ref(); - if !this.tcx().is_object_safe(predicate_trait_ref.def_id()) { - return; - } debug!("assemble_candidates_from_object_ty: ambiguous"); candidates.ambiguous = true; // could wind up being an object type return; |