diff options
Diffstat (limited to 'src/test/run-pass/unsized2.rs')
| -rw-r--r-- | src/test/run-pass/unsized2.rs | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/test/run-pass/unsized2.rs b/src/test/run-pass/unsized2.rs index 285100dd719..10b2f2fb709 100644 --- a/src/test/run-pass/unsized2.rs +++ b/src/test/run-pass/unsized2.rs @@ -15,6 +15,8 @@ // Test sized-ness checking in substitution. +use std::marker; + // Unbounded. fn f1<X: ?Sized>(x: &X) { f1::<X>(x); @@ -25,7 +27,7 @@ fn f2<X>(x: &X) { } // Bounded. -trait T {} +trait T { fn dummy(&self) { } } fn f3<X: T+?Sized>(x: &X) { f3::<X>(x); } @@ -66,20 +68,24 @@ fn f7<X: ?Sized+T3>(x: &X) { } trait T4<X> { - fn m1(x: &T4<X>); - fn m2(x: &T5<X>); + fn dummy(&self) { } + fn m1(x: &T4<X>, y: X); + fn m2(x: &T5<X>, y: X); } trait T5<X: ?Sized> { + fn dummy(&self) { } // not an error (for now) fn m1(x: &T4<X>); fn m2(x: &T5<X>); } trait T6<X: T> { + fn dummy(&self) { } fn m1(x: &T4<X>); fn m2(x: &T5<X>); } trait T7<X: ?Sized+T> { + fn dummy(&self) { } // not an error (for now) fn m1(x: &T4<X>); fn m2(x: &T5<X>); |