duplicate tests around object types.
+++ /dev/null
-// Copyright 2012-2014 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.
-
-struct Foo {
- f: proc():'static
-}
-
-fn call(x: Foo) {
- x.f(); //~ ERROR does not implement any method in scope named `f`
-}
-
-fn main() {}
+++ /dev/null
-// Copyright 2012-2014 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.
-
-// Test that a mismatched proc / closure type is correctly reported.
-
-fn expect_closure(_: ||) {}
-
-fn expect_proc(_: proc()) {}
-
-fn main() {
- expect_closure(proc() {});
- //~^ ERROR mismatched types: expected `||`, found `proc()` (expected closure, found proc)
-
- expect_proc(|| {});
- //~^ ERROR mismatched types: expected `proc()`, found `||` (expected proc, found closure)
-}
+++ /dev/null
-// Copyright 2014 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.
-
-fn is_send<T: Send>() {}
-fn is_freeze<T: Sync>() {}
-
-fn foo<'a>() {
- is_send::<proc()>();
- //~^ ERROR: the trait `core::kinds::Send` is not implemented
-
- is_freeze::<proc()>();
- //~^ ERROR: the trait `core::kinds::Sync` is not implemented
-}
-
-fn main() { }
+++ /dev/null
-// Copyright 2014 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.
-
-fn is_static<T: 'static>() {}
-
-fn foo<'a>() {
- is_static::<proc():'a>();
- //~^ ERROR declared lifetime bound not satisfied
-
- is_static::<proc():'static>();
-}
-
-fn main() { }
+++ /dev/null
-// Copyright 2014 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.
-
-fn foo<T>() {}
-fn bar<T>(_: T) {}
-
-fn is_send<T: Send>() {}
-fn is_freeze<T: Sync>() {}
-fn is_static<T: 'static>() {}
-
-pub fn main() {
- foo::<proc()>();
- foo::<proc()>();
- foo::<proc():Send>();
- foo::<proc():Send + Sync>();
- foo::<proc():'static + Send + Sync>();
-
- is_send::<proc():Send>();
- is_freeze::<proc():Sync>();
- is_static::<proc():'static>();
-
-
- let a = 3i;
- bar::<proc()>(proc() {
- let b = &a;
- println!("{}", *b);
- });
-}