diff options
Diffstat (limited to 'src/test/compile-fail/unsized3.rs')
| -rw-r--r-- | src/test/compile-fail/unsized3.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/test/compile-fail/unsized3.rs b/src/test/compile-fail/unsized3.rs index 0ff5b1c9b5a..c321871c40f 100644 --- a/src/test/compile-fail/unsized3.rs +++ b/src/test/compile-fail/unsized3.rs @@ -10,6 +10,7 @@ // Test sized-ness checking in substitution. + // Unbounded. fn f1<type X>(x: &X) { f2::<X>(x); //~ ERROR instantiating a type parameter with an incompatible type `X`, which does n @@ -49,7 +50,7 @@ fn f8<type X>(x1: &S<X>, x2: &S<X>) { } // Test some tuples. -fn f9<type X>(x1: ~S<X>, x2: ~E<X>) { +fn f9<type X>(x1: Box<S<X>>, x2: Box<E<X>>) { f5(&(*x1, 34)); //~ERROR instantiating a type parameter with an incompatible type `(S<X>,int)`, f5(&(32, *x2)); //~ERROR instantiating a type parameter with an incompatible type `(int,E<X>)`, } |