| //@ run-rustfix | |
| #![allow(dead_code, unused_variables)] | |
| trait Get { | |
| type Value: ?Sized; | |
| fn get(&self) -> <Self as Get>::Value; | |
| } | |
| fn foo<T:Get>(t: T) where <T as Get>::Value: Sized { | |
| let x = t.get(); //~ ERROR the size for values of type | |
| } | |
| fn main() { | |
| } |