// option. This file may not be copied, modified, or distributed
// except according to those terms.
-trait Foo {
-}
-fn a(_x: ~Foo:) {
+trait Foo {
}
-fn b(_x: ~Foo:Send) {
+fn b(_x: Box<Foo+Send>) {
}
-fn c(x: ~Foo:Freeze+Send) {
- a(x);
+fn c(x: Box<Foo+Sync+Send>) {
+ e(x);
}
-fn d(x: ~Foo:Send) {
- b(x);
+fn d(x: Box<Foo+Send>) {
+ e(x);
}
-fn e(x: ~Foo) { // sugar for ~Foo:Owned
- b(x);
+fn e(x: Box<Foo>) {
+ e(x);
}
pub fn main() { }