Un-xfail/move/delete some tests.

This commit is contained in:
Huon Wilson 2013-09-02 23:30:00 +10:00
parent 6a3dd30afe
commit 364beaa776
30 changed files with 36 additions and 122 deletions

View File

@ -8,12 +8,10 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
// error-pattern: instantiating a type parameter with an incompatible type
extern mod extra;
use extra::arc::rw_arc;
use extra::arc::RWArc;
fn main() {
let arc1 = ~rw_arc(true);
let _arc2 = ~rw_arc(arc1);
let arc1 = RWArc::new(true);
let _arc2 = RWArc::new(arc1); //~ ERROR instantiating a type parameter with an incompatible type
}

View File

@ -1,27 +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.
// xfail-test
struct X { x: (), }
impl Drop for X {
fn drop(&self) {
error!("destructor runs");
}
}
fn main() {
let x = Some(X { x: () });
match x {
Some(_z) => { }, //~ ERROR cannot bind by-move when matching an lvalue
None => fail!()
}
}

View File

@ -1,29 +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.
// xfail-test
struct X { x: (), }
impl Drop for X {
fn drop(&self) {
error!("destructor runs");
}
}
struct Y { y: Option<X> }
fn main() {
let x = Y { y: Some(X { x: () }) };
match x.y {
Some(_z) => { }, //~ ERROR cannot bind by-move when matching an lvalue
None => fail!()
}
}

View File

@ -1,4 +1,3 @@
// xfail-test #3024
// 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.
@ -20,7 +19,7 @@ impl Drop for X {
}
fn unwrap(x: X) -> ~str {
let X { x: y } = x; //~ ERROR cannot bind by-move within struct
let X { x: y } = x; //~ ERROR cannot move out of type
y
}

View File

@ -8,10 +8,9 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
fn foo<T, U>(x: T, y: U) {
let mut xx = x;
xx = y; // error message should mention T and U, not 'a and 'b
xx = y; //~ ERROR expected `T` but found `U`
}
fn main() {

View File

@ -8,12 +8,11 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
struct x(());
impl x {
pub unsafe fn with() { } // This should fail
pub unsafe fn with(&self) { }
}
fn main() {
x(()).with();
x(()).with(); //~ ERROR requires unsafe function or block
}

View File

@ -9,6 +9,8 @@
// except according to those terms.
// xfail-test
use std::io;
struct Point {
x: float,
y: float,

View File

@ -8,5 +8,4 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
fn main() { fmt!("%?", None); } //~ ERROR can't resolve type variable
fn main() { fmt!("%?", None); } //~ ERROR unconstrained type

View File

@ -1,7 +1,5 @@
//xfail-test
// Trying to create a fixed-length vector with a negative size
fn main() {
let _x = [0,..-1];
let _x = [0,..-1]; //~ ERROR found negative integer
}

View File

@ -15,7 +15,7 @@ extern mod extra;
fn f() {
}
use extra::net; //~ ERROR view items must be declared at the top
use extra::net; //~ ERROR `use` and `extern mod` declarations must precede items
fn main() {
}

View File

@ -1,4 +1,3 @@
// xfail-test #5321
// 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.

View File

@ -1,5 +1,3 @@
// xfail-test #5530
// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
@ -18,18 +16,18 @@ enum ES<T> {
pub fn main() {
let es11 = ES1 {x: 1}, es12 = ES1 {x: 2}, es21 = ES2 {x: 1, y: 1}, es22 = ES2 {x: 1, y: 2};
let (es11, es12, es21, es22) = (ES1 {x: 1}, ES1 {x: 2}, ES2 {x: 1, y: 1}, ES2 {x: 1, y: 2});
// in order for both Ord and TotalOrd
let ess = [es11, es12, es21, es22];
for ess.eachi |i, es1| {
for ess.eachi |j, es2| {
for (i, es1) in ess.iter().enumerate() {
for (j, es2) in ess.iter().enumerate() {
let ord = i.cmp(&j);
let eq = i == j;
let lt = i < j, le = i <= j;
let gt = i > j, ge = i >= j;
let (lt, le) = (i < j, i <= j);
let (gt, ge) = (i > j, i >= j);
// Eq
assert_eq!(*es1 == *es2, eq);

View File

@ -8,7 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
pub fn main() {
let x : @str = @"hello";
let _x : @str = @"hello";
}

View File

@ -11,8 +11,6 @@
// Test a foreign function that accepts and returns a struct
// by value.
// xfail-test #5744
#[deriving(Eq)]
struct TwoU16s {
one: u16, two: u16
@ -22,6 +20,7 @@ extern {
pub fn rust_dbg_extern_identity_TwoU16s(v: TwoU16s) -> TwoU16s;
}
#[fixed_stack_segment] #[inline(never)]
pub fn main() {
unsafe {
let x = TwoU16s {one: 22, two: 23};

View File

@ -11,8 +11,6 @@
// Test a foreign function that accepts and returns a struct
// by value.
// xfail-test #5744
#[deriving(Eq)]
struct TwoU8s {
one: u8, two: u8
@ -22,6 +20,7 @@ extern {
pub fn rust_dbg_extern_identity_TwoU8s(v: TwoU8s) -> TwoU8s;
}
#[fixed_stack_segment] #[inline(never)]
pub fn main() {
unsafe {
let x = TwoU8s {one: 22, two: 23};

View File

@ -8,5 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
pub fn main() { let early_error: @fn(str) -> ! = {|msg| fail!() }; }
pub fn main() {
let early_error: @fn(&str) -> ! = |_msg| { fail!() };
}

View File

@ -8,11 +8,10 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test FIXME #3874
enum PureCounter { PureCounter(uint) }
fn each(self: PureCounter, blk: &fn(v: &uint)) {
let PureCounter(ref x) = self;
fn each(thing: PureCounter, blk: &fn(v: &uint)) {
let PureCounter(ref x) = thing;
blk(x);
}

View File

@ -8,7 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
pub fn main() {
enum State { BadChar, BadSyntax }

View File

@ -8,13 +8,12 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
struct HasNested {
mut nest: ~[~[int]],
nest: ~[~[int]],
}
impl HasNested {
fn method_push_local(&self) {
fn method_push_local(&mut self) {
self.nest[0].push(0);
}
}

View File

@ -8,8 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
type FontTableTag = u32;
trait FontTableTagConversions {

View File

@ -8,7 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
struct A(bool);
fn main() {

View File

@ -8,8 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
use std::hashmap::HashMap;
trait Graph<Node, Edge> {

View File

@ -1,4 +1,3 @@
// xfail-test #3874
// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.

View File

@ -1,5 +1,3 @@
// xfail-test
// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
@ -14,7 +12,7 @@ use std::unstable::intrinsics;
/// Returns the size of a type
pub fn size_of<T>() -> uint {
TypeInfo::size_of::<T>()
TypeInfo::size_of(None::<T>)
}
/// Returns the size of the type that `val` points to
@ -23,19 +21,19 @@ pub fn size_of_val<T>(val: &T) -> uint {
}
pub trait TypeInfo {
fn size_of() -> uint;
fn size_of(_lame_type_hint: Option<Self>) -> uint;
fn size_of_val(&self) -> uint;
}
impl<T> TypeInfo for T {
/// The size of the type in bytes.
fn size_of() -> uint {
fn size_of(_lame_type_hint: Option<T>) -> uint {
unsafe { intrinsics::size_of::<T>() }
}
/// Returns the size of the type of `self` in bytes.
fn size_of_val(&self) -> uint {
TypeInfo::size_of::<T>()
TypeInfo::size_of(None::<T>)
}
}

View File

@ -8,8 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
fn foo(x: &[int]) -> int {
x[0]
}

View File

@ -8,7 +8,8 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
// xfail-test #7340 fails on 32-bit linux
use std::ptr;
enum a_tag<A> {
a_tag(A)

View File

@ -8,8 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
// xfail-test #7340 fails on 32-bit linux
use std::ptr;
enum a_tag<A,B> {

View File

@ -8,8 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
// xfail-test #7340 fails on 32-bit linux
use std::ptr;
enum a_tag {

View File

@ -1,6 +1,3 @@
// xfail-test FIXME #5882
// Weird borrow check bug
// 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.

View File

@ -8,8 +8,6 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// xfail-test
struct Foo(int, int, int);
pub fn main() {