1 // Test sized-ness checking in substitution within fn bodies..
6 fn f1<X: ?Sized>(x: &X) {
8 //~^ ERROR the size for values of type
17 fn f3<X: ?Sized + T>(x: &X) {
19 //~^ ERROR the size for values of type
25 fn f6<X: ?Sized>(x: &X) {}
27 // Test with unsized struct.
32 fn f8<X: ?Sized>(x1: &S<X>, x2: &S<X>) {
34 //~^ ERROR the size for values of type
39 fn f9<X: ?Sized>(x1: Box<S<X>>) {
41 //~^ ERROR the size for values of type
44 fn f10<X: ?Sized>(x1: Box<S<X>>) {
46 //~^ ERROR the size for values of type
47 //~| ERROR the size for values of type