trait Tr { }
impl Tr for int { }
-fn foo(x: Box<Tr: Share>) -> Box<Tr: Share> { x }
+fn foo(x: Box<Tr+ Share>) -> Box<Tr+ Share> { x }
fn main() {
- let x: Box<Tr: Share>;
+ let x: Box<Tr+ Share>;
- box() 1 as Box<Tr: Share>;
+ box() 1 as Box<Tr+ Share>;
}