| // Check that when you implement a trait that has a sized type | |
| // parameter, the corresponding value must be sized. Also that the | |
| // self type must be sized if appropriate. | |
| trait Foo<T> : Sized { fn take(self, x: &T) { } } // Note: T is sized | |
| impl Foo<[isize]> for usize { } | |
| //~^ ERROR the size for values of type | |
| impl Foo<isize> for [usize] { } | |
| //~^ ERROR the size for values of type | |
| pub fn main() { } |