diff options
| author | Eduard Burtescu <edy.burt@gmail.com> | 2014-02-07 00:38:33 +0200 |
|---|---|---|
| committer | Eduard Burtescu <edy.burt@gmail.com> | 2014-02-07 00:38:33 +0200 |
| commit | b2d30b72bfaa1f36808151e5825073cdff2e7ea7 (patch) | |
| tree | 14ff6b505eeee456236727940e5804e3e812b1b5 /src/test | |
| parent | c13a929d58c3f866687ccf12cc33b2b59a2e10b8 (diff) | |
| download | rust-b2d30b72bfaa1f36808151e5825073cdff2e7ea7.tar.gz rust-b2d30b72bfaa1f36808151e5825073cdff2e7ea7.zip | |
Removed @self and @Trait.
Diffstat (limited to 'src/test')
56 files changed, 90 insertions, 813 deletions
diff --git a/src/test/auxiliary/issue-2380.rs b/src/test/auxiliary/issue-2380.rs index c7ffa4a39ac..cb0eac704d9 100644 --- a/src/test/auxiliary/issue-2380.rs +++ b/src/test/auxiliary/issue-2380.rs @@ -8,14 +8,13 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; #[crate_id="a"]; #[crate_type = "lib"]; pub trait i<T> { } -pub fn f<T>() -> @i<T> { +pub fn f<T>() -> ~i<T> { impl<T> i<T> for () { } - @() as @i<T> + ~() as ~i<T> } diff --git a/src/test/compile-fail/borrowck-object-lifetime.rs b/src/test/compile-fail/borrowck-object-lifetime.rs index ce762e351f9..daeb5b72857 100644 --- a/src/test/compile-fail/borrowck-object-lifetime.rs +++ b/src/test/compile-fail/borrowck-object-lifetime.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait Foo { fn borrowed<'a>(&'a self) -> &'a (); } @@ -18,14 +16,6 @@ fn borrowed_receiver<'a>(x: &'a Foo) -> &'a () { x.borrowed() } -fn managed_receiver(x: @Foo) -> &() { - x.borrowed() //~ ERROR cannot root managed value long enough -} - -fn managed_receiver_1(x: @Foo) { - *x.borrowed() -} - fn owned_receiver(x: ~Foo) -> &() { x.borrowed() //~ ERROR borrowed value does not live long enough } diff --git a/src/test/compile-fail/borrowck-object-mutability.rs b/src/test/compile-fail/borrowck-object-mutability.rs index 1d1b993f5d1..d4203dc9916 100644 --- a/src/test/compile-fail/borrowck-object-mutability.rs +++ b/src/test/compile-fail/borrowck-object-mutability.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait Foo { fn borrowed(&self); fn borrowed_mut(&mut self); @@ -25,11 +23,6 @@ fn borrowed_mut_receiver(x: &mut Foo) { x.borrowed_mut(); } -fn managed_receiver(x: @Foo) { - x.borrowed(); - x.borrowed_mut(); //~ ERROR cannot borrow -} - fn owned_receiver(x: ~Foo) { x.borrowed(); x.borrowed_mut(); //~ ERROR cannot borrow diff --git a/src/test/compile-fail/class-cast-to-trait.rs b/src/test/compile-fail/class-cast-to-trait.rs index 4abd9898d87..18f6fc25149 100644 --- a/src/test/compile-fail/class-cast-to-trait.rs +++ b/src/test/compile-fail/class-cast-to-trait.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait noisy { fn speak(&self); } @@ -59,6 +57,6 @@ fn cat(in_x : uint, in_y : int, in_name: ~str) -> cat { } fn main() { - let nyan : @noisy = @cat(0, 2, ~"nyan") as @noisy; + let nyan: ~noisy = ~cat(0, 2, ~"nyan") as ~noisy; nyan.eat(); //~ ERROR does not implement any method in scope named `eat` } diff --git a/src/test/compile-fail/issue-5153.rs b/src/test/compile-fail/issue-5153.rs index 619ce688d08..5228e03b8bd 100644 --- a/src/test/compile-fail/issue-5153.rs +++ b/src/test/compile-fail/issue-5153.rs @@ -8,9 +8,7 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - -// error-pattern: type `@Foo:'static` does not implement any method in scope named `foo` +// error-pattern: type `&Foo<no-bounds>` does not implement any method in scope named `foo` trait Foo { fn foo(~self); @@ -21,5 +19,5 @@ impl Foo for int { } fn main() { - (@5 as @Foo).foo(); + (&5 as &Foo).foo(); } diff --git a/src/test/compile-fail/kindck-owned-trait.rs b/src/test/compile-fail/kindck-owned-trait.rs deleted file mode 100644 index 87e9769d97e..00000000000 --- a/src/test/compile-fail/kindck-owned-trait.rs +++ /dev/null @@ -1,26 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -trait foo { fn foo(&self); } - -fn to_foo<T:Clone + foo>(t: T) -> @foo { - @t as @foo - //~^ ERROR value may contain references; add `'static` bound - //~^^ ERROR cannot pack type - //~^^^ ERROR value may contain references -} - -fn to_foo2<T:Clone + foo + 'static>(t: T) -> @foo { - @t as @foo -} - -fn main() {} diff --git a/src/test/compile-fail/lint-heap-memory.rs b/src/test/compile-fail/lint-heap-memory.rs index 8899f3f5dbb..fa359dcd538 100644 --- a/src/test/compile-fail/lint-heap-memory.rs +++ b/src/test/compile-fail/lint-heap-memory.rs @@ -23,8 +23,6 @@ fn main() { @2; //~ ERROR type uses managed - fn f(_: @Clone) {} //~ ERROR type uses managed - ~2; //~ ERROR type uses owned ~[1]; //~ ERROR type uses owned //~^ ERROR type uses owned diff --git a/src/test/compile-fail/map-types.rs b/src/test/compile-fail/map-types.rs index 0a1eab913be..697678e286d 100644 --- a/src/test/compile-fail/map-types.rs +++ b/src/test/compile-fail/map-types.rs @@ -8,16 +8,14 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - use std::container::Map; use std::hashmap::HashMap; // Test that trait types printed in error msgs include the type arguments. fn main() { - let x: @HashMap<~str, ~str> = @HashMap::new(); - let x: @Map<~str, ~str> = x; - let y: @Map<uint, ~str> = @x; - //~^ ERROR failed to find an implementation of trait std::container::Map<uint,~str> for @std::container::Map<~str,~str>:'static + let x: ~HashMap<~str, ~str> = ~HashMap::new(); + let x: ~Map<~str, ~str> = x; + let y: ~Map<uint, ~str> = ~x; + //~^ ERROR failed to find an implementation of trait std::container::Map<uint,~str> for ~std::container::Map<~str,~str>:Send } diff --git a/src/test/compile-fail/object-does-not-impl-trait.rs b/src/test/compile-fail/object-does-not-impl-trait.rs index 916bb74edb2..95f92380816 100644 --- a/src/test/compile-fail/object-does-not-impl-trait.rs +++ b/src/test/compile-fail/object-does-not-impl-trait.rs @@ -8,12 +8,10 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - -// Test that an object type `@Foo` is not considered to implement the +// Test that an object type `~Foo` is not considered to implement the // trait `Foo`. Issue #5087. trait Foo {} fn take_foo<F:Foo>(f: F) {} -fn take_object(f: @Foo) { take_foo(f); } //~ ERROR failed to find an implementation of trait +fn take_object(f: ~Foo) { take_foo(f); } //~ ERROR failed to find an implementation of trait fn main() {} diff --git a/src/test/compile-fail/object-pointer-types.rs b/src/test/compile-fail/object-pointer-types.rs index 2270cb6f498..ab2aa928c26 100644 --- a/src/test/compile-fail/object-pointer-types.rs +++ b/src/test/compile-fail/object-pointer-types.rs @@ -8,35 +8,22 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait Foo { fn borrowed(&self); fn borrowed_mut(&mut self); - fn managed(@self); - fn owned(~self); } fn borrowed_receiver(x: &Foo) { x.borrowed(); x.borrowed_mut(); // See [1] - x.managed(); //~ ERROR does not implement any method x.owned(); //~ ERROR does not implement any method } fn borrowed_mut_receiver(x: &mut Foo) { x.borrowed(); x.borrowed_mut(); - x.managed(); //~ ERROR does not implement any method - x.owned(); //~ ERROR does not implement any method -} - -fn managed_receiver(x: @Foo) { - x.borrowed(); - x.borrowed_mut(); // See [1] - x.managed(); x.owned(); //~ ERROR does not implement any method } diff --git a/src/test/compile-fail/regions-trait-1.rs b/src/test/compile-fail/regions-trait-1.rs index 8e6b821294b..7aa545ab1b9 100644 --- a/src/test/compile-fail/regions-trait-1.rs +++ b/src/test/compile-fail/regions-trait-1.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - struct ctxt { v: uint } trait get_ctxt { @@ -29,12 +27,12 @@ impl<'a> get_ctxt for has_ctxt<'a> { } -fn get_v(gc: @get_ctxt) -> uint { +fn get_v(gc: ~get_ctxt) -> uint { gc.get_ctxt().v } fn main() { let ctxt = ctxt { v: 22u }; let hc = has_ctxt { c: &ctxt }; - assert_eq!(get_v(@hc as @get_ctxt), 22u); + assert_eq!(get_v(~hc as ~get_ctxt), 22u); } diff --git a/src/test/compile-fail/selftype-traittype.rs b/src/test/compile-fail/selftype-traittype.rs index d6c97806201..73df5c3967c 100644 --- a/src/test/compile-fail/selftype-traittype.rs +++ b/src/test/compile-fail/selftype-traittype.rs @@ -8,13 +8,11 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait add { fn plus(&self, x: Self) -> Self; } -fn do_add(x: @add, y: @add) -> @add { +fn do_add(x: ~add, y: ~add) -> ~add { x.plus(y) //~ ERROR cannot call a method whose type contains a self-type through an object } diff --git a/src/test/compile-fail/trait-bounds-sugar.rs b/src/test/compile-fail/trait-bounds-sugar.rs index d907022da71..b9fb94e09ed 100644 --- a/src/test/compile-fail/trait-bounds-sugar.rs +++ b/src/test/compile-fail/trait-bounds-sugar.rs @@ -8,32 +8,22 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // Tests for "default" bounds inferred for traits with no bounds list. -trait Foo { -} +trait Foo {} fn a(_x: ~Foo) { // should be same as ~Foo:Send } -fn b(_x: @Foo) { // should be same as ~Foo:'static -} - -fn c(_x: &'static Foo) { // should be same as &'static Foo:'static +fn b(_x: &'static Foo) { // should be same as &'static Foo:'static } -fn d(x: ~Foo:Freeze) { +fn c(x: ~Foo:Freeze) { a(x); //~ ERROR expected bounds `Send` } -fn e(x: @Foo:Freeze) { +fn d(x: &'static Foo:Freeze) { b(x); //~ ERROR expected bounds `'static` } -fn f(x: &'static Foo:Freeze) { - c(x); //~ ERROR expected bounds `'static` -} - -fn main() { } +fn main() {} diff --git a/src/test/compile-fail/trait-coercion-generic-bad.rs b/src/test/compile-fail/trait-coercion-generic-bad.rs index 2d73158add2..f04770409a2 100644 --- a/src/test/compile-fail/trait-coercion-generic-bad.rs +++ b/src/test/compile-fail/trait-coercion-generic-bad.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - struct Struct { person: &'static str } @@ -25,7 +23,7 @@ impl Trait<&'static str> for Struct { } fn main() { - let s: @Trait<int> = @Struct { person: "Fred" }; //~ ERROR expected Trait<int>, but found Trait<&'static str> + let s: ~Trait<int> = ~Struct { person: "Fred" }; //~ ERROR expected Trait<int>, but found Trait<&'static str> //~^ ERROR expected Trait<int>, but found Trait<&'static str> s.f(1); } diff --git a/src/test/compile-fail/trait-coercion-generic-regions.rs b/src/test/compile-fail/trait-coercion-generic-regions.rs index 1ea18a7c75b..2aeebc0f1a8 100644 --- a/src/test/compile-fail/trait-coercion-generic-regions.rs +++ b/src/test/compile-fail/trait-coercion-generic-regions.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - struct Struct { person: &'static str } @@ -27,6 +25,6 @@ impl Trait<&'static str> for Struct { fn main() { let person = ~"Fred"; let person: &str = person; //~ ERROR borrowed value does not live long enough - let s: @Trait<&'static str> = @Struct { person: person }; + let s: ~Trait<&'static str> = ~Struct { person: person }; } diff --git a/src/test/compile-fail/trait-test-2.rs b/src/test/compile-fail/trait-test-2.rs index 3006b6e5acf..acac7ae9556 100644 --- a/src/test/compile-fail/trait-test-2.rs +++ b/src/test/compile-fail/trait-test-2.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait bar { fn dup(&self) -> Self; fn blah<X>(&self); } impl bar for int { fn dup(&self) -> int { *self } fn blah<X>(&self) {} } impl bar for uint { fn dup(&self) -> uint { *self } fn blah<X>(&self) {} } @@ -17,5 +15,5 @@ impl bar for uint { fn dup(&self) -> uint { *self } fn blah<X>(&self) {} } fn main() { 10i.dup::<int>(); //~ ERROR does not take type parameters 10i.blah::<int, int>(); //~ ERROR incorrect number of type parameters - (@10 as @bar).dup(); //~ ERROR contains a self-type + (~10 as ~bar).dup(); //~ ERROR contains a self-type } diff --git a/src/test/debug-info/generic-method-on-generic-struct.rs b/src/test/debug-info/generic-method-on-generic-struct.rs index 767293c3dc8..f71106cacb1 100644 --- a/src/test/debug-info/generic-method-on-generic-struct.rs +++ b/src/test/debug-info/generic-method-on-generic-struct.rs @@ -64,38 +64,6 @@ // check:$15 = -10.5 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {x = -1} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12.5 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {x = -1} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print *arg2 -// check:$21 = {-14, 14} -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {x = -1} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print *arg2 -// check:$24 = {-16, 16.5} -// debugger:continue - -#[feature(managed_boxes)]; - struct Struct<T> { x: T } @@ -116,11 +84,6 @@ impl<T1> Struct<T1> { zzz(); arg1 } - - fn self_managed<T2>(@self, arg1: int, arg2: T2) -> int { - zzz(); - arg1 - } } fn main() { @@ -132,11 +95,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6_i32); let _ = owned.self_by_val(-7, -8_i64); let _ = owned.self_owned(-9, -10.5_f32); - - let managed = @Struct { x: -1_i16 }; - let _ = managed.self_by_ref(-11, -12.5_f64); - let _ = managed.self_by_val(-13, &(-14, 14)); - let _ = managed.self_managed(-15, &(-16, 16.5)); } fn zzz() {()} diff --git a/src/test/debug-info/method-on-enum.rs b/src/test/debug-info/method-on-enum.rs index 272da1690fd..79594c5d389 100644 --- a/src/test/debug-info/method-on-enum.rs +++ b/src/test/debug-info/method-on-enum.rs @@ -64,37 +64,6 @@ // check:$15 = -10 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {{Variant2, [...]}, {Variant2, 117901063}} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {{Variant2, [...]}, {Variant2, 117901063}} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print arg2 -// check:$21 = -14 -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {{Variant2, [...]}, {Variant2, 117901063}} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print arg2 -// check:$24 = -16 -// debugger:continue - -#[feature(managed_boxes)]; #[feature(struct_variant)]; enum Enum { @@ -118,11 +87,6 @@ impl Enum { zzz(); arg1 + arg2 } - - fn self_managed(@self, arg1: int, arg2: int) -> int { - zzz(); - arg1 + arg2 - } } fn main() { @@ -134,11 +98,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6); let _ = owned.self_by_val(-7, -8); let _ = owned.self_owned(-9, -10); - - let managed = @Variant2(117901063); - let _ = managed.self_by_ref(-11, -12); - let _ = managed.self_by_val(-13, -14); - let _ = managed.self_managed(-15, -16); } fn zzz() {()} diff --git a/src/test/debug-info/method-on-generic-struct.rs b/src/test/debug-info/method-on-generic-struct.rs index ebfdea04377..fc78aba707f 100644 --- a/src/test/debug-info/method-on-generic-struct.rs +++ b/src/test/debug-info/method-on-generic-struct.rs @@ -64,38 +64,6 @@ // check:$15 = -10 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {x = -1} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {x = -1} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print arg2 -// check:$21 = -14 -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {x = -1} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print arg2 -// check:$24 = -16 -// debugger:continue - -#[feature(managed_boxes)]; - struct Struct<T> { x: T } @@ -116,11 +84,6 @@ impl<T> Struct<T> { zzz(); arg1 + arg2 } - - fn self_managed(@self, arg1: int, arg2: int) -> int { - zzz(); - arg1 + arg2 - } } fn main() { @@ -132,11 +95,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6); let _ = owned.self_by_val(-7, -8); let _ = owned.self_owned(-9, -10); - - let managed = @Struct { x: -1_i16 }; - let _ = managed.self_by_ref(-11, -12); - let _ = managed.self_by_val(-13, -14); - let _ = managed.self_managed(-15, -16); } fn zzz() {()} diff --git a/src/test/debug-info/method-on-struct.rs b/src/test/debug-info/method-on-struct.rs index e88e5a5ca63..035ebf9caeb 100644 --- a/src/test/debug-info/method-on-struct.rs +++ b/src/test/debug-info/method-on-struct.rs @@ -64,38 +64,6 @@ // check:$15 = -10 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {x = 300} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {x = 300} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print arg2 -// check:$21 = -14 -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {x = 300} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print arg2 -// check:$24 = -16 -// debugger:continue - -#[feature(managed_boxes)]; - struct Struct { x: int } @@ -116,11 +84,6 @@ impl Struct { zzz(); self.x + arg1 + arg2 } - - fn self_managed(@self, arg1: int, arg2: int) -> int { - zzz(); - self.x + arg1 + arg2 - } } fn main() { @@ -132,11 +95,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6); let _ = owned.self_by_val(-7, -8); let _ = owned.self_owned(-9, -10); - - let managed = @Struct { x: 300 }; - let _ = managed.self_by_ref(-11, -12); - let _ = managed.self_by_val(-13, -14); - let _ = managed.self_managed(-15, -16); } fn zzz() {()} diff --git a/src/test/debug-info/method-on-trait.rs b/src/test/debug-info/method-on-trait.rs index fd58cc1a7d3..7cd5a845cba 100644 --- a/src/test/debug-info/method-on-trait.rs +++ b/src/test/debug-info/method-on-trait.rs @@ -64,38 +64,6 @@ // check:$15 = -10 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {x = 300} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {x = 300} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print arg2 -// check:$21 = -14 -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {x = 300} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print arg2 -// check:$24 = -16 -// debugger:continue - -#[feature(managed_boxes)]; - struct Struct { x: int } @@ -104,7 +72,6 @@ trait Trait { fn self_by_ref(&self, arg1: int, arg2: int) -> int; fn self_by_val(self, arg1: int, arg2: int) -> int; fn self_owned(~self, arg1: int, arg2: int) -> int; - fn self_managed(@self, arg1: int, arg2: int) -> int; } impl Trait for Struct { @@ -123,11 +90,6 @@ impl Trait for Struct { zzz(); self.x + arg1 + arg2 } - - fn self_managed(@self, arg1: int, arg2: int) -> int { - zzz(); - self.x + arg1 + arg2 - } } fn main() { @@ -139,11 +101,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6); let _ = owned.self_by_val(-7, -8); let _ = owned.self_owned(-9, -10); - - let managed = @Struct { x: 300 }; - let _ = managed.self_by_ref(-11, -12); - let _ = managed.self_by_val(-13, -14); - let _ = managed.self_managed(-15, -16); } fn zzz() {()} diff --git a/src/test/debug-info/method-on-tuple-struct.rs b/src/test/debug-info/method-on-tuple-struct.rs index 98dbff988e7..029a5cd4c91 100644 --- a/src/test/debug-info/method-on-tuple-struct.rs +++ b/src/test/debug-info/method-on-tuple-struct.rs @@ -64,38 +64,6 @@ // check:$15 = -10 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {300, -300.5} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {300, -300.5} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print arg2 -// check:$21 = -14 -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {300, -300.5} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print arg2 -// check:$24 = -16 -// debugger:continue - -#[feature(managed_boxes)]; - struct TupleStruct(int, f64); impl TupleStruct { @@ -114,11 +82,6 @@ impl TupleStruct { zzz(); arg1 + arg2 } - - fn self_managed(@self, arg1: int, arg2: int) -> int { - zzz(); - arg1 + arg2 - } } fn main() { @@ -130,11 +93,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6); let _ = owned.self_by_val(-7, -8); let _ = owned.self_owned(-9, -10); - - let managed = @TupleStruct(300, -300.5); - let _ = managed.self_by_ref(-11, -12); - let _ = managed.self_by_val(-13, -14); - let _ = managed.self_managed(-15, -16); } fn zzz() {()} diff --git a/src/test/debug-info/self-in-default-method.rs b/src/test/debug-info/self-in-default-method.rs index d5f735e77f4..9f0b0ea8414 100644 --- a/src/test/debug-info/self-in-default-method.rs +++ b/src/test/debug-info/self-in-default-method.rs @@ -64,38 +64,6 @@ // check:$15 = -10 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {x = 300} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {x = 300} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print arg2 -// check:$21 = -14 -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {x = 300} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print arg2 -// check:$24 = -16 -// debugger:continue - -#[feature(managed_boxes)]; - struct Struct { x: int } @@ -115,11 +83,6 @@ trait Trait { zzz(); arg1 + arg2 } - - fn self_managed(@self, arg1: int, arg2: int) -> int { - zzz(); - arg1 + arg2 - } } impl Trait for Struct {} @@ -133,11 +96,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6); let _ = owned.self_by_val(-7, -8); let _ = owned.self_owned(-9, -10); - - let managed = @Struct { x: 300 }; - let _ = managed.self_by_ref(-11, -12); - let _ = managed.self_by_val(-13, -14); - let _ = managed.self_managed(-15, -16); } fn zzz() {()} diff --git a/src/test/debug-info/self-in-generic-default-method.rs b/src/test/debug-info/self-in-generic-default-method.rs index e7a6ee77610..5ae88b3d0ce 100644 --- a/src/test/debug-info/self-in-generic-default-method.rs +++ b/src/test/debug-info/self-in-generic-default-method.rs @@ -64,38 +64,6 @@ // check:$15 = -10.5 // debugger:continue -// MANAGED BY REF -// debugger:finish -// debugger:print *self -// check:$16 = {x = 897} -// debugger:print arg1 -// check:$17 = -11 -// debugger:print arg2 -// check:$18 = -12.5 -// debugger:continue - -// MANAGED BY VAL -// debugger:finish -// debugger:print self -// check:$19 = {x = 897} -// debugger:print arg1 -// check:$20 = -13 -// debugger:print *arg2 -// check:$21 = {-14, 14} -// debugger:continue - -// MANAGED SELF -// debugger:finish -// debugger:print self->val -// check:$22 = {x = 897} -// debugger:print arg1 -// check:$23 = -15 -// debugger:print *arg2 -// check:$24 = {-16, 16.5} -// debugger:continue - -#[feature(managed_boxes)]; - struct Struct { x: int } @@ -116,11 +84,6 @@ trait Trait { zzz(); arg1 } - - fn self_managed<T>(@self, arg1: int, arg2: T) -> int { - zzz(); - arg1 - } } impl Trait for Struct {} @@ -134,11 +97,6 @@ fn main() { let _ = owned.self_by_ref(-5, -6_i32); let _ = owned.self_by_val(-7, -8_i64); let _ = owned.self_owned(-9, -10.5_f32); - - let managed = @Struct { x: 897 }; - let _ = managed.self_by_ref(-11, -12.5_f64); - let _ = managed.self_by_val(-13, &(-14, 14)); - let _ = managed.self_managed(-15, &(-16, 16.5)); } fn zzz() {()} diff --git a/src/test/debug-info/trait-pointers.rs b/src/test/debug-info/trait-pointers.rs index 4bdfc6bfaf6..de46e1aea58 100644 --- a/src/test/debug-info/trait-pointers.rs +++ b/src/test/debug-info/trait-pointers.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // xfail-android: FIXME(#10381) // compile-flags:-Z extra-debug-info @@ -32,6 +30,5 @@ impl Trait for Struct {} fn main() { let stack_struct = Struct { a:0, b: 1.0 }; let reference: &Trait = &stack_struct as &Trait; - let managed: @Trait = @Struct { a:2, b: 3.0 } as @Trait; let unique: ~Trait = ~Struct { a:2, b: 3.0 } as ~Trait; } diff --git a/src/test/run-fail/unwind-box-trait.rs b/src/test/run-fail/unwind-box-trait.rs deleted file mode 100644 index 2139508c9e4..00000000000 --- a/src/test/run-fail/unwind-box-trait.rs +++ /dev/null @@ -1,31 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -// error-pattern:fail - -fn failfn() { - fail!(); -} - -trait i { - fn foo(&self); -} - -impl i for ~int { - fn foo(&self) { } -} - -fn main() { - let x = @~0 as @i; - failfn(); - error!("{:?}", x); -} diff --git a/src/test/run-pass/alignment-gep-tup-like-1.rs b/src/test/run-pass/alignment-gep-tup-like-1.rs index 6c4cc9de414..5683a2b6698 100644 --- a/src/test/run-pass/alignment-gep-tup-like-1.rs +++ b/src/test/run-pass/alignment-gep-tup-like-1.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - struct pair<A,B> { a: A, b: B } @@ -29,11 +27,11 @@ impl<A:Clone> Invokable<A> for Invoker<A> { } } -fn f<A:Clone + 'static>(a: A, b: u16) -> @Invokable<A> { - @Invoker { +fn f<A:Clone + 'static>(a: A, b: u16) -> ~Invokable:<A> { + ~Invoker { a: a, b: b, - } as @Invokable<A> + } as ~Invokable:<A> } pub fn main() { diff --git a/src/test/run-pass/alignment-gep-tup-like-2.rs b/src/test/run-pass/alignment-gep-tup-like-2.rs deleted file mode 100644 index e00f4142643..00000000000 --- a/src/test/run-pass/alignment-gep-tup-like-2.rs +++ /dev/null @@ -1,70 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -use std::cell::RefCell; - -struct Pair<A,B> { - a: A, b: B -} - -struct RecEnum<A>(Rec<A>); -struct Rec<A> { - val: A, - rec: Option<@RefCell<RecEnum<A>>> -} - -fn make_cycle<A:'static>(a: A) { - let g: @RefCell<RecEnum<A>> = @RefCell::new(RecEnum(Rec {val: a, rec: None})); - { - let mut gb = g.borrow_mut(); - let gg = gb.get(); - let RecEnum(ref mut gg) = *gg; - gg.rec = Some(g); - } -} - -struct Invoker<A,B> { - a: A, - b: B, -} - -trait Invokable<A,B> { - fn f(&self) -> (A, B); -} - -impl<A:Clone,B:Clone> Invokable<A,B> for Invoker<A,B> { - fn f(&self) -> (A, B) { - (self.a.clone(), self.b.clone()) - } -} - -fn f<A:Send + Clone + 'static, - B:Send + Clone + 'static>( - a: A, - b: B) - -> @Invokable<A,B> { - @Invoker { - a: a, - b: b, - } as @Invokable<A,B> -} - -pub fn main() { - let x = 22_u8; - let y = 44_u64; - let z = f(~x, y); - make_cycle(z); - let (a, b) = z.f(); - info!("a={} b={}", *a as uint, b as uint); - assert_eq!(*a, x); - assert_eq!(b, y); -} diff --git a/src/test/run-pass/autoderef-method-on-trait.rs b/src/test/run-pass/autoderef-method-on-trait.rs index b3b09988cc3..6f0bba72025 100644 --- a/src/test/run-pass/autoderef-method-on-trait.rs +++ b/src/test/run-pass/autoderef-method-on-trait.rs @@ -8,17 +8,15 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait double { - fn double(@self) -> uint; + fn double(~self) -> uint; } impl double for uint { - fn double(@self) -> uint { *self * 2u } + fn double(~self) -> uint { *self * 2u } } pub fn main() { - let x = @(@3u as @double); + let x = ~(~3u as ~double); assert_eq!(x.double(), 6u); } diff --git a/src/test/run-pass/autoderef-method-twice-but-not-thrice.rs b/src/test/run-pass/autoderef-method-twice-but-not-thrice.rs index 036bbcd48a5..a03ac80a3f1 100644 --- a/src/test/run-pass/autoderef-method-twice-but-not-thrice.rs +++ b/src/test/run-pass/autoderef-method-twice-but-not-thrice.rs @@ -8,17 +8,15 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait double { - fn double(@self) -> uint; + fn double(~self) -> uint; } -impl double for @uint { - fn double(@self) -> uint { **self * 2u } +impl double for ~uint { + fn double(~self) -> uint { **self * 2u } } pub fn main() { - let x = @@@@@3u; + let x = ~~~~~3u; assert_eq!(x.double(), 6u); } diff --git a/src/test/run-pass/autoderef-method-twice.rs b/src/test/run-pass/autoderef-method-twice.rs index 79784688d49..7835eaae510 100644 --- a/src/test/run-pass/autoderef-method-twice.rs +++ b/src/test/run-pass/autoderef-method-twice.rs @@ -8,17 +8,15 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait double { - fn double(@self) -> uint; + fn double(~self) -> uint; } impl double for uint { - fn double(@self) -> uint { *self * 2u } + fn double(~self) -> uint { *self * 2u } } pub fn main() { - let x = @@3u; + let x = ~~3u; assert_eq!(x.double(), 6u); } diff --git a/src/test/run-pass/autoderef-method.rs b/src/test/run-pass/autoderef-method.rs index 1a04abe3196..81469e5454a 100644 --- a/src/test/run-pass/autoderef-method.rs +++ b/src/test/run-pass/autoderef-method.rs @@ -8,17 +8,15 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait double { - fn double(@self) -> uint; + fn double(~self) -> uint; } impl double for uint { - fn double(@self) -> uint { *self * 2u } + fn double(~self) -> uint { *self * 2u } } pub fn main() { - let x = @3u; + let x = ~3u; assert_eq!(x.double(), 6u); } diff --git a/src/test/run-pass/boxed-trait-with-vstore.rs b/src/test/run-pass/boxed-trait-with-vstore.rs deleted file mode 100644 index aab5053693c..00000000000 --- a/src/test/run-pass/boxed-trait-with-vstore.rs +++ /dev/null @@ -1,26 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -trait Foo { - fn foo(@self); -} - -impl Foo for int { - fn foo(@self) { - println!("Hello world!"); - } -} - -pub fn main() { - let x = @3 as @Foo; - x.foo(); -} diff --git a/src/test/run-pass/class-cast-to-trait-cross-crate-2.rs b/src/test/run-pass/class-cast-to-trait-cross-crate-2.rs index 258ed4fb30b..bfc6550523b 100644 --- a/src/test/run-pass/class-cast-to-trait-cross-crate-2.rs +++ b/src/test/run-pass/class-cast-to-trait-cross-crate-2.rs @@ -8,21 +8,19 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // xfail-fast // aux-build:cci_class_cast.rs extern mod cci_class_cast; use std::to_str::ToStr; use cci_class_cast::kitty::cat; -fn print_out(thing: @ToStr, expected: ~str) { +fn print_out(thing: ~ToStr, expected: ~str) { let actual = thing.to_str(); info!("{}", actual); assert_eq!(actual, expected); } pub fn main() { - let nyan : @ToStr = @cat(0u, 2, ~"nyan") as @ToStr; + let nyan: ~ToStr = ~cat(0u, 2, ~"nyan") as ~ToStr; print_out(nyan, ~"nyan"); } diff --git a/src/test/run-pass/class-separate-impl.rs b/src/test/run-pass/class-separate-impl.rs index 3e9765f0b2b..e93b3266b25 100644 --- a/src/test/run-pass/class-separate-impl.rs +++ b/src/test/run-pass/class-separate-impl.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // xfail-fast struct cat { meows : uint, @@ -58,13 +56,13 @@ impl ToStr for cat { } } -fn print_out(thing: @ToStr, expected: ~str) { +fn print_out(thing: ~ToStr, expected: ~str) { let actual = thing.to_str(); info!("{}", actual); assert_eq!(actual, expected); } pub fn main() { - let nyan : @ToStr = @cat(0u, 2, ~"nyan") as @ToStr; + let nyan: ~ToStr = ~cat(0u, 2, ~"nyan") as ~ToStr; print_out(nyan, ~"nyan"); } diff --git a/src/test/run-pass/close-over-big-then-small-data.rs b/src/test/run-pass/close-over-big-then-small-data.rs index a1624e206ca..6ba665e4005 100644 --- a/src/test/run-pass/close-over-big-then-small-data.rs +++ b/src/test/run-pass/close-over-big-then-small-data.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // If we use GEPi rathern than GEP_tup_like when // storing closure data (as we used to do), the u64 would // overwrite the u16. @@ -33,11 +31,11 @@ impl<A:Clone> Invokable<A> for Invoker<A> { } } -fn f<A:Clone + 'static>(a: A, b: u16) -> @Invokable<A> { - @Invoker { +fn f<A:Clone + 'static>(a: A, b: u16) -> ~Invokable:<A> { + ~Invoker { a: a, b: b, - } as @Invokable<A> + } as ~Invokable:<A> } pub fn main() { diff --git a/src/test/run-pass/explicit-self-objects-box.rs b/src/test/run-pass/explicit-self-objects-box.rs deleted file mode 100644 index faf2a61ca78..00000000000 --- a/src/test/run-pass/explicit-self-objects-box.rs +++ /dev/null @@ -1,34 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -trait Foo { - fn f(@self); -} - -struct S { - x: int -} - -impl Foo for S { - fn f(@self) { - assert_eq!(self.x, 3); - } -} - -pub fn main() { - let x = @S { x: 3 }; - let y = x as @Foo; - y.f(); - y.f(); - y.f(); - y.f(); -} diff --git a/src/test/run-pass/explicit-self-objects-simple.rs b/src/test/run-pass/explicit-self-objects-simple.rs deleted file mode 100644 index ca64516a7ef..00000000000 --- a/src/test/run-pass/explicit-self-objects-simple.rs +++ /dev/null @@ -1,31 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -trait Foo { - fn f(&self); -} - -struct S { - x: int -} - -impl Foo for S { - fn f(&self) { - assert_eq!(self.x, 3); - } -} - -pub fn main() { - let x = @S { x: 3 }; - let y = x as @Foo; - y.f(); -} diff --git a/src/test/run-pass/explicit-self.rs b/src/test/run-pass/explicit-self.rs index 65e6e384c5f..1076fc1662f 100644 --- a/src/test/run-pass/explicit-self.rs +++ b/src/test/run-pass/explicit-self.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - static tau: f64 = 2.0*3.14159265358979323; struct Point {x: f64, y: f64} @@ -49,7 +47,7 @@ struct thing { #[deriving(Clone)] struct A { - a: @int + a: int } fn thing(x: A) -> thing { @@ -59,26 +57,20 @@ fn thing(x: A) -> thing { } impl thing { - pub fn foo(@self) -> int { *self.x.a } - pub fn bar(~self) -> int { *self.x.a } - pub fn quux(&self) -> int { *self.x.a } + pub fn bar(~self) -> int { self.x.a } + pub fn quux(&self) -> int { self.x.a } pub fn baz<'a>(&'a self) -> &'a A { &self.x } - pub fn spam(self) -> int { *self.x.a } + pub fn spam(self) -> int { self.x.a } } trait Nus { fn f(&self); } impl Nus for thing { fn f(&self) {} } pub fn main() { - - let x = @thing(A {a: @10}); - assert_eq!(x.foo(), 10); - assert_eq!(x.quux(), 10); - - let y = ~thing(A {a: @10}); + let y = ~thing(A {a: 10}); assert_eq!(y.clone().bar(), 10); assert_eq!(y.quux(), 10); - let z = thing(A {a: @11}); + let z = thing(A {a: 11}); assert_eq!(z.spam(), 11); } diff --git a/src/test/run-pass/generic-object.rs b/src/test/run-pass/generic-object.rs index bff51d32333..76db4a01829 100644 --- a/src/test/run-pass/generic-object.rs +++ b/src/test/run-pass/generic-object.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait Foo<T> { fn get(&self) -> T; } @@ -25,7 +23,7 @@ impl Foo<int> for S { } pub fn main() { - let x = @S { x: 1 }; - let y = x as @Foo<int>; + let x = ~S { x: 1 }; + let y = x as ~Foo<int>; assert_eq!(y.get(), 1); } diff --git a/src/test/run-pass/issue-2288.rs b/src/test/run-pass/issue-2288.rs index 6ba253ca461..9e03023a9e9 100644 --- a/src/test/run-pass/issue-2288.rs +++ b/src/test/run-pass/issue-2288.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait clam<A> { fn chowder(&self, y: A); } @@ -28,13 +26,13 @@ fn foo<A>(b: A) -> foo<A> { } } -fn f<A>(x: @clam<A>, a: A) { +fn f<A>(x: ~clam<A>, a: A) { x.chowder(a); } pub fn main() { let c = foo(42); - let d: @clam<int> = @c as @clam<int>; + let d: ~clam<int> = ~c as ~clam<int>; f(d, c.x); } diff --git a/src/test/run-pass/issue-2380-b.rs b/src/test/run-pass/issue-2380-b.rs index 0c41d071ab0..d61622e6b0f 100644 --- a/src/test/run-pass/issue-2380-b.rs +++ b/src/test/run-pass/issue-2380-b.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // xfail-fast // aux-build:issue-2380.rs diff --git a/src/test/run-pass/issue-2734.rs b/src/test/run-pass/issue-2734.rs index 4b932e2e57e..a2a9228091e 100644 --- a/src/test/run-pass/issue-2734.rs +++ b/src/test/run-pass/issue-2734.rs @@ -8,19 +8,17 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait hax { } impl<A> hax for A { } -fn perform_hax<T:'static>(x: @T) -> @hax { - @x as @hax +fn perform_hax<T: 'static>(x: ~T) -> ~hax: { + ~x as ~hax: } fn deadcode() { - perform_hax(@~"deadcode"); + perform_hax(~~"deadcode"); } pub fn main() { - let _ = perform_hax(@42); + let _ = perform_hax(~42); } diff --git a/src/test/run-pass/issue-2735.rs b/src/test/run-pass/issue-2735.rs index b1c357538ab..327f2cb897f 100644 --- a/src/test/run-pass/issue-2735.rs +++ b/src/test/run-pass/issue-2735.rs @@ -8,19 +8,17 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait hax { } impl<A> hax for A { } -fn perform_hax<T:'static>(x: @T) -> @hax { - @x as @hax +fn perform_hax<T: 'static>(x: ~T) -> ~hax: { + ~x as ~hax: } fn deadcode() { - perform_hax(@~"deadcode"); + perform_hax(~~"deadcode"); } pub fn main() { - perform_hax(@42); + perform_hax(~42); } diff --git a/src/test/run-pass/issue-2935.rs b/src/test/run-pass/issue-2935.rs index 269093c010c..8cf9436ef51 100644 --- a/src/test/run-pass/issue-2935.rs +++ b/src/test/run-pass/issue-2935.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - //type t = { a: int }; // type t = { a: bool }; type t = bool; @@ -24,10 +22,10 @@ impl it for t { pub fn main() { // let x = ({a: 4i} as it); - // let y = @({a: 4i}); - // let z = @({a: 4i} as it); - // let z = @({a: true} as it); - let z = @(@true as @it); + // let y = ~({a: 4i}); + // let z = ~({a: 4i} as it); + // let z = ~({a: true} as it); + let z = ~(~true as ~it); // x.f(); // y.f(); // (*z).f(); diff --git a/src/test/run-pass/issue-3702.rs b/src/test/run-pass/issue-3702.rs index 6f2d0481aec..43f2e764e69 100644 --- a/src/test/run-pass/issue-3702.rs +++ b/src/test/run-pass/issue-3702.rs @@ -8,14 +8,12 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - pub fn main() { trait Text { fn to_str(&self) -> ~str; } - fn to_string(t: @Text) { + fn to_string(t: ~Text) { println!("{}", t.to_str()); } diff --git a/src/test/run-pass/issue-3794.rs b/src/test/run-pass/issue-3794.rs index f6c531334c9..8cc7d275789 100644 --- a/src/test/run-pass/issue-3794.rs +++ b/src/test/run-pass/issue-3794.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait T { fn print(&self); } @@ -33,9 +31,9 @@ fn print_s(s: &S) { } pub fn main() { - let s: @S = @S { s: 5 }; + let s: ~S = ~S { s: 5 }; print_s(s); - let t: @T = s as @T; + let t: ~T = s as ~T; print_t(t); } diff --git a/src/test/run-pass/issue-7673-cast-generically-implemented-trait.rs b/src/test/run-pass/issue-7673-cast-generically-implemented-trait.rs index 2e59111e689..cf1f979acb4 100644 --- a/src/test/run-pass/issue-7673-cast-generically-implemented-trait.rs +++ b/src/test/run-pass/issue-7673-cast-generically-implemented-trait.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - /* #7673 Polymorphically creating traits barely works @@ -24,7 +22,3 @@ impl<T: 'static> A for T {} fn owned1<T: 'static>(a: T) { ~a as ~A:; } /* note `:` */ fn owned2<T: 'static>(a: ~T) { a as ~A:; } fn owned3<T: 'static>(a: ~T) { ~a as ~A:; } - -fn managed1<T: 'static>(a: T) { @a as @A; } -fn managed2<T: 'static>(a: @T) { a as @A; } -fn managed3<T: 'static>(a: @T) { @a as @A; } diff --git a/src/test/run-pass/issue-9129.rs b/src/test/run-pass/issue-9129.rs index bc6702c6df6..3cb6f525cbc 100644 --- a/src/test/run-pass/issue-9129.rs +++ b/src/test/run-pass/issue-9129.rs @@ -10,11 +10,11 @@ // xfail-pretty -#[feature(managed_boxes, macro_rules)]; +#[feature(macro_rules)]; -pub trait bomb { fn boom(@self, Ident); } +pub trait bomb { fn boom(&self, Ident); } pub struct S; -impl bomb for S { fn boom(@self, _: Ident) { } } +impl bomb for S { fn boom(&self, _: Ident) { } } pub struct Ident { name: uint } @@ -26,7 +26,7 @@ fn Ident_new() -> Ident { Ident {name: 0x6789ABCD } } -pub fn light_fuse(fld: @bomb) { +pub fn light_fuse(fld: ~bomb) { int3!(); let f = || { int3!(); @@ -36,6 +36,6 @@ pub fn light_fuse(fld: @bomb) { } pub fn main() { - let b = @S as @bomb; + let b = ~S as ~bomb; light_fuse(b); } diff --git a/src/test/run-pass/kindck-owned-trait-contains-1.rs b/src/test/run-pass/kindck-owned-trait-contains-1.rs index dab8a83ea36..0a7e164ca5b 100644 --- a/src/test/run-pass/kindck-owned-trait-contains-1.rs +++ b/src/test/run-pass/kindck-owned-trait-contains-1.rs @@ -8,23 +8,21 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - trait repeat<A> { fn get(&self) -> A; } -impl<A:Clone + 'static> repeat<A> for @A { +impl<A:Clone + 'static> repeat<A> for ~A { fn get(&self) -> A { (**self).clone() } } -fn repeater<A:Clone + 'static>(v: @A) -> @repeat:<A> { +fn repeater<A:Clone + 'static>(v: ~A) -> ~repeat:<A> { // Note: owned kind is not necessary as A appears in the trait type - @v as @repeat:<A> // No + ~v as ~repeat:<A> // No } pub fn main() { let x = 3; - let y = repeater(@x); + let y = repeater(~x); assert_eq!(x, y.get()); } diff --git a/src/test/run-pass/objects-coerce-from-managed-to-borrowed.rs b/src/test/run-pass/objects-coerce-from-managed-to-borrowed.rs deleted file mode 100644 index 52792c8c427..00000000000 --- a/src/test/run-pass/objects-coerce-from-managed-to-borrowed.rs +++ /dev/null @@ -1,33 +0,0 @@ -// Copyright 2012 The Rust Project Developers. See the COPYRIGHT -// file at the top-level directory of this distribution and at -// http://rust-lang.org/COPYRIGHT. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#[feature(managed_boxes)]; - -// Test that we can coerce an `@Object` to an `&Object` - -trait Foo { - fn foo(&self) -> uint; -} - -impl Foo for uint { - fn foo(&self) -> uint { - *self - } -} - -fn do_it_imm(obj: &Foo, v: uint) { - let y = obj.foo(); - assert_eq!(v, y); -} - -pub fn main() { - let x = @22u as @Foo; - do_it_imm(x, 22u); -} diff --git a/src/test/run-pass/reflect-visit-data.rs b/src/test/run-pass/reflect-visit-data.rs index 6a817bf03d4..fbd58de1a7e 100644 --- a/src/test/run-pass/reflect-visit-data.rs +++ b/src/test/run-pass/reflect-visit-data.rs @@ -408,9 +408,9 @@ impl<V:TyVisitor + movable_ptr> TyVisitor for ptr_visit_adaptor<V> { } fn visit_trait(&mut self, name: &str) -> bool { - self.align_to::<@TyVisitor>(); + self.align_to::<~TyVisitor>(); if ! self.inner().visit_trait(name) { return false; } - self.bump_past::<@TyVisitor>(); + self.bump_past::<~TyVisitor>(); true } diff --git a/src/test/run-pass/trait-coercion-generic.rs b/src/test/run-pass/trait-coercion-generic.rs index f6ccf987fcb..2d8a42005df 100644 --- a/src/test/run-pass/trait-coercion-generic.rs +++ b/src/test/run-pass/trait-coercion-generic.rs @@ -8,10 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - -use std::io::println; - trait Trait<T> { fn f(&self, x: T); } @@ -27,18 +23,11 @@ impl Trait<&'static str> for Struct { } } -fn f(x: @Trait<&'static str>) { - x.f("Sue"); -} - pub fn main() { let a = Struct { x: 1, y: 2 }; - let b: @Trait<&'static str> = @a; - b.f("Fred"); - let c: ~Trait<&'static str> = ~a; - c.f("Mary"); - let d: &Trait<&'static str> = &a; - d.f("Joe"); - f(@a); + let b: ~Trait<&'static str> = ~a; + b.f("Mary"); + let c: &Trait<&'static str> = &a; + c.f("Joe"); } diff --git a/src/test/run-pass/trait-coercion.rs b/src/test/run-pass/trait-coercion.rs index 365831eda83..ea6d59a9068 100644 --- a/src/test/run-pass/trait-coercion.rs +++ b/src/test/run-pass/trait-coercion.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - use std::io; trait Trait { @@ -27,23 +25,16 @@ impl Trait for Struct { } } -fn f(x: @Trait) { - x.f(); -} - fn foo(mut a: ~Writer) { a.write(bytes!("Hello\n")); } pub fn main() { let a = Struct { x: 1, y: 2 }; - let b: @Trait = @a; + let b: ~Trait = ~a; b.f(); - let c: ~Trait = ~a; + let c: &Trait = &a; c.f(); - let d: &Trait = &a; - d.f(); - f(@a); let out = io::stdout(); foo(~out); diff --git a/src/test/run-pass/trait-default-method-xc.rs b/src/test/run-pass/trait-default-method-xc.rs index 3323b3c952a..e8387458ab6 100644 --- a/src/test/run-pass/trait-default-method-xc.rs +++ b/src/test/run-pass/trait-default-method-xc.rs @@ -1,5 +1,3 @@ -#[feature(managed_boxes)]; - // xfail-fast // aux-build:trait_default_method_xc_aux.rs @@ -66,7 +64,7 @@ pub fn main () { assert_eq!(g(0i, 3.14, 1), (3.14, 1)); assert_eq!(g(false, 3.14, 1), (3.14, 1)); - let obj = @0i as @A; + let obj = ~0i as ~A; assert_eq!(obj.h(), 11); diff --git a/src/test/run-pass/trait-object-generics.rs b/src/test/run-pass/trait-object-generics.rs index fdae975a637..ebde7e787e4 100644 --- a/src/test/run-pass/trait-object-generics.rs +++ b/src/test/run-pass/trait-object-generics.rs @@ -8,8 +8,6 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -#[feature(managed_boxes)]; - // test for #8664 pub trait Trait2<A> { @@ -42,7 +40,7 @@ impl<V> Trait<u8,V> for () { fn method(&self, _x: Type<(u8,V)>) -> int { 0 } } -pub fn main () { - let a = @() as @Trait<u8, u8>; +pub fn main() { + let a = ~() as ~Trait<u8, u8>; assert_eq!(a.method(Constant), 0); } |
