1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
trait Get { type Value; fn get(&self) -> <Self as Get>::Value; } struct Struct { x: isize, } impl Struct { fn uhoh<T>(foo: <T as Get>::Value) {} //~^ ERROR the trait bound `T: Get` is not satisfied } fn main() { }