trait Other {
fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {}
- //~^ ERROR the trait `Get` is not implemented for the type `Self`
+ //~^ ERROR the trait bound `Self: Get` is not satisfied
}
impl<T:Get> Other for T {
fn uhoh<U:Get>(&self, foo: U, bar: <(T, U) as Get>::Value) {}
- //~^ ERROR the trait `Get` is not implemented for the type `(T, U)`
+ //~^ ERROR the trait bound `(T, U): Get` is not satisfied
}
fn main() { }