Skip to content

Commit c534028

Browse files
committed
Remove all xfail-stage0 directives
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
1 parent 92a4c0c commit c534028

File tree

209 files changed

+0
-334
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

209 files changed

+0
-334
lines changed

src/test/compile-fail/and-init.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: Unsatisfied precondition constraint (for example, init(i
32

43
fn main() {

src/test/compile-fail/attr-bad-crate-attr.rc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: expecting mod
32

43
#[attr = "val"];

src/test/compile-fail/attr-bad-meta.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expecting ]
32

43
// asterisk is bogus

src/test/compile-fail/attr-before-stmt.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected item
32

43
fn f() {

src/test/compile-fail/attr-before-view-item.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected item
32

43
#[foo = "bar"]

src/test/compile-fail/attr-before-view-item2.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected item
32

43
mod m {

src/test/compile-fail/attr-dangling-in-fn.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected item
32

43
fn f() {

src/test/compile-fail/attr-dangling-in-mod.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected item
32

43
fn main() {

src/test/compile-fail/bad-main.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// xfail-stage1
32
// xfail-stage2
43
// xfail-stage3

src/test/compile-fail/bad-type-env-capture.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// xfail-stage1
32
// xfail-stage2
43
// xfail-stage3
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: some control paths may return
32
fn f() -> ! { 3 }
43
fn main(){}
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:+ cannot be applied to type `{x: bool}`
32

43
fn main() { let x = {x: true}; x += {x: false}; }
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:+ cannot be applied to type `{x: bool}`
32

43
fn main() { let x = {x: true} + {x: false}; }
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:^ cannot be applied to type `str`
32

43
fn main() { let x = "a" ^ "b"; }
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:|| cannot be applied to type `f32`
32

43
fn main() { let x = 1.0_f32 || 2.0_f32; }
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:&& cannot be applied to type `int`
32

43
fn main() { let x = 1 && 2; }
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:* cannot be applied to type `bool`
32

43
fn main() { let x = true * false; }

src/test/compile-fail/binop-shift-port.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:>> cannot be applied to type `port[int]`
32

43
fn main() {
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:- cannot be applied to type `obj
32

43
fn main() { let x = obj () { } - obj () { }; }

src/test/compile-fail/binop-typeck.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:mismatched types
32
// issue #500
43

src/test/compile-fail/block-coerce-no.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// error-pattern: mismatched types
2-
// xfail-stage0
32

43
// Make sure that fn-to-block coercion isn't incorrectly lifted over
54
// other tycons.

src/test/compile-fail/block-copy.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// error-pattern: non-copyable
2-
// xfail-stage0
32

43
fn lol(f: &block() ) -> block() { ret f; }
54
fn main() { let i = 8; let f = lol(block () { log_err i; }); f(); }

src/test/compile-fail/block-uninit.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// error-pattern: Unsatisfied precondition constraint
2-
// xfail-stage0
32

43
fn force(f: &block() ) { f(); }
54
fn main() { let x: int; force(block () { log_err x; }); }

src/test/compile-fail/break-outside-loop.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:Break outside a loop
32
fn main() {
43
let pth = break;

src/test/compile-fail/chan-parameterized-args.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:spawning functions with type params not allowed
32
fn main() {
43
fn echo[T](c: chan[T], oc: chan[chan[T]]) {

src/test/compile-fail/constrained-type-missing-check.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// -*- rust -*-
2-
// xfail-stage0
32
// xfail-stage1
43
// xfail-stage2
54
// xfail-stage3

src/test/compile-fail/cross-crate-glob-collision.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:'swap' is glob-imported from multiple different modules
32
// issue #482
43

src/test/compile-fail/dead-code-be.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// xfail-stage1
32
// xfail-stage2
43
// xfail-stage3

src/test/compile-fail/dead-code-ret.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// xfail-stage1
32
// xfail-stage2
43
// xfail-stage3

src/test/compile-fail/do-while-constraints.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: Unsatisfied precondition constraint (for example, init(y
32
fn main() {
43

src/test/compile-fail/do-while-pred-constraints.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: Unsatisfied precondition constraint (for example, even(y
32

43
fn print_even(y: int) : even(y) {

src/test/compile-fail/dup-link-name.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:duplicate meta item `name`
32

43
#[link(name = "test", name)];

src/test/compile-fail/ext-after-attrib.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expecting [, found fmt
32

43
// Don't know how to deal with a syntax extension appearing after an

src/test/compile-fail/extfmt-non-literal.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: literal
32

43
fn main() {

src/test/compile-fail/extfmt-non-literal2.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: literal
32

43
fn main() {

src/test/compile-fail/extfmt-not-enough-args.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:not enough arguments
32

43
use std;

src/test/compile-fail/extfmt-too-many-args.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:too many arguments
32

43
use std;

src/test/compile-fail/extfmt-unsigned-plus.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:only valid in signed #fmt conversion
32

43
fn main() {

src/test/compile-fail/extfmt-unsigned-space.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:only valid in signed #fmt conversion
32

43
fn main() {
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
// error-pattern:expected str but found vec
2-
// xfail-stage0
32
fn main() { fail []; }

src/test/compile-fail/fn-bad-block-type.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:mismatched types
32

43
fn f() -> int { true }

src/test/compile-fail/fn-compare-mismatch.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected fn() but found fn(int)
32

43
fn main() {

src/test/compile-fail/fn-expr-type-state.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// error-pattern:Unsatisfied precondition
2-
// xfail-stage0
32

43
fn main() {
54
// Typestate should work even in a lambda. we should reject this program.
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
11
// error-pattern:Unsatisfied precondition
2-
// xfail-stage0
32

43
fn main() { let j = fn () -> int { let i: int; ret i; }(); log_err j; }

src/test/compile-fail/if-check-precond-fail.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:Unsatisfied precondition constraint
32
pred even(x: uint) -> bool {
43
if x < 2u {

src/test/compile-fail/if-typeck.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:mismatched types
32
// issue #513
43

src/test/compile-fail/infinite-tag-type-recursion.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// xfail-stage1
32
// xfail-stage2
43
// xfail-stage3

src/test/compile-fail/infinite-vec-type-recursion.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// -*- rust -*-
2-
// xfail-stage0
32
// error-pattern: illegal recursive type
43

54
type x = vec[x];

src/test/compile-fail/item-name-overload.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// -*- rust -*-
2-
// xfail-stage0
32
// error-pattern: Dynamically sized arguments must be passed by alias
43

54
mod foo {

src/test/compile-fail/macro-2.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
//error-pattern:is an expr, expected an identifier
32
fn main() {
43
#macro([#mylambda(x, body), {fn f(x: int) -> int {ret body}; f}]);

src/test/compile-fail/macro.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
//error-pattern:no clauses match
32

43
fn main() {
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
1-
// xfail-stage0
21
// error-pattern:Wrong type in main function: found fn() -> char
32
fn main() -> char { }
Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
1-
// xfail-stage0
21
// error-pattern:Wrong type in main function: found fn(
32
fn main(foo: {x: int, y: int}) { }

src/test/compile-fail/missing-main.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
1-
// xfail-stage0
21
// error-pattern:Main function not found
32
fn mian() { }

src/test/compile-fail/nested-ty-params.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:Attempt to use a type argument out of scope
32
fn hd[U](v: &vec[U]) -> U {
43
fn hd1(w: &vec[U]) -> U { ret w.(0); }

src/test/compile-fail/no-constraint-prop.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// error-pattern:Unsatisfied precondition constraint (for example, le(b, d
2-
// xfail-stage0
32
use std;
43
import std::str::*;
54
import std::uint::*;

src/test/compile-fail/not-a-pred.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// -*- rust -*-
2-
// xfail-stage0
32
// error-pattern: Non-predicate in constraint: lt
43

54
fn f(a: int, b: int) : lt(a,b) { }

src/test/compile-fail/or-init.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: Unsatisfied precondition constraint (for example, init(i
32

43
fn main() {

src/test/compile-fail/pred-assign.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// -*- rust -*-
32

43
// error-pattern: Unsatisfied precondition constraint (for example, lt(a, b)

src/test/compile-fail/pred-on-wrong-slots.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// -*- rust -*-
32

43
// error-pattern: lt(a, c)

src/test/compile-fail/pred-swap.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// -*- rust -*-
32

43
// error-pattern: Unsatisfied precondition constraint (for example, lt(a, b)

src/test/compile-fail/put-in-fn.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// xfail-stage1
32
// xfail-stage2
43
// xfail-stage3

src/test/compile-fail/rec-extend.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected int but found bool
32

43
fn main() {

src/test/compile-fail/self-call-non-obj.rs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
//xfail-stage0
2-
31
// error-pattern:self-call in non-object context
42

53
// Fix for issue #707.

src/test/compile-fail/slot-as-pred.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// -*- rust -*-
2-
// xfail-stage0
32
// error-pattern: unresolved name: lt
43

54
fn f(a: int, b: int) : lt(a,b) { }

src/test/compile-fail/spawn-non-nil-fn.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: mismatched types
32

43
fn f(x: int) -> int { ret x; }

src/test/compile-fail/tag-type-args.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: Wrong number of type arguments
32

43
tag quux[T] { }

src/test/compile-fail/type-arg-out-of-scope.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:Attempt to use a type argument out of scope
32
fn foo[T](x: &T) {
43
fn bar(f: fn(&T) -> T ) { }

src/test/compile-fail/type-mismatch.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:expected bool but found int
32
// issue #516
43

src/test/compile-fail/type-recursive.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:illegal recursive type
32
type t1 = {foo: int, foolish: t1};
43

src/test/compile-fail/uninit-after-item.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
// error-pattern:Unsatisfied precondition constraint (for example, init(bar
2-
// xfail-stage0
32
fn main() {
43
let bar;
54
fn baz(x: int) { }

src/test/compile-fail/unsafe-mutable-alias.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:mutable alias to a variable that roots another alias
32

43
fn f(a: &int, b: &mutable int) -> int { b += 1; ret a + b; }

src/test/compile-fail/use-meta-dup.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:duplicate meta item `name`
32

43
use std(name = "std", name = "nonstd");

src/test/compile-fail/vec-field.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern:attempted field access on type vec[int]
32
// issue #367
43

src/test/compile-fail/while-loop-constraints.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
// xfail-stage0
21
// error-pattern: Unsatisfied precondition constraint (for example, init(y
32
fn main() {
43

0 commit comments

Comments
 (0)