]>
Commit | Line | Data |
---|---|---|
e74abb32 XL |
1 | // run-rustfix |
2 | #![allow(dead_code, unused_variables)] | |
3 | ||
4 | trait Get { | |
5 | type Value: ?Sized; | |
6 | fn get(&self) -> <Self as Get>::Value; | |
7 | } | |
8 | ||
1b1a35ee | 9 | fn foo<T:Get>(t: T) where <T as Get>::Value: Sized { |
e74abb32 XL |
10 | let x = t.get(); //~ ERROR the size for values of type |
11 | } | |
12 | ||
13 | fn main() { | |
14 | } |