diff --git a/src/test/run-pass/associated-types-conditional-dispatch.rs b/src/test/run-pass/associated-types-conditional-dispatch.rs index 4efd0ef348d..3b53203d218 100644 --- a/src/test/run-pass/associated-types-conditional-dispatch.rs +++ b/src/test/run-pass/associated-types-conditional-dispatch.rs @@ -11,7 +11,7 @@ // Test that we evaluate projection predicates to winnow out // candidates during trait selection and method resolution (#20296). // If we don't properly winnow out candidates based on the output type -// `Output=[A]`, then the impl marked with `(*)` is seen to conflict +// `Target=[A]`, then the impl marked with `(*)` is seen to conflict // with all the others. #![feature(associated_types, default_type_params)] @@ -32,10 +32,10 @@ impl MyEq<[B]> for [A] } } -// (*) This impl conflicts with everything unless the `Output=[A]` +// (*) This impl conflicts with everything unless the `Target=[A]` // constraint is considered. impl<'a, A, B, Lhs> MyEq<[B; 0]> for Lhs - where A: MyEq, Lhs: Deref + where A: MyEq, Lhs: Deref { fn eq(&self, other: &[B; 0]) -> bool { MyEq::eq(&**self, other.as_slice()) @@ -57,7 +57,7 @@ impl Helper for Option { } impl> Deref for DerefWithHelper { - type Output = T; + type Target = T; fn deref(&self) -> &T { self.helper.helper_borrow()