src/test/ui/associated-types/associated-types-for-unimpl-trait.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// run-rustfix
#![allow(unused_variables)]

trait Get {
    type Value;
    fn get(&self) -> <Self as Get>::Value;
}

trait Other {
    fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {}
    //~^ ERROR the trait bound `Self: Get` is not satisfied
}

fn main() {
}