diff options
| author | bors <bors@rust-lang.org> | 2015-02-19 18:36:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2015-02-19 18:36:59 +0000 |
| commit | 522d09dfecbeca1595f25ac58c6d0178bbd21d7d (patch) | |
| tree | cc0252dd3413e5f890d0ebcfdaa096e5b002be0b /src/test/compile-fail/regions-fn-bound.rs | |
| parent | 0b664bb8436f2cfda7f13a6f302ab486f332816f (diff) | |
| parent | 49771bafa5fca16486bfd06741dac3de2c587adf (diff) | |
| download | rust-1.0.0-alpha.2.tar.gz rust-1.0.0-alpha.2.zip | |
Auto merge of #22541 - Manishearth:rollup, r=Gankro 1.0.0-alpha.2
Continued from #22520
Diffstat (limited to 'src/test/compile-fail/regions-fn-bound.rs')
| -rw-r--r-- | src/test/compile-fail/regions-fn-bound.rs | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/src/test/compile-fail/regions-fn-bound.rs b/src/test/compile-fail/regions-fn-bound.rs deleted file mode 100644 index c2b52b79f6c..00000000000 --- a/src/test/compile-fail/regions-fn-bound.rs +++ /dev/null @@ -1,46 +0,0 @@ -// 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. - -// ignore-test -// ignored because the first error does not show up. - -// 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. - -fn of<T>() -> |T| { panic!(); } -fn subtype<T>(x: |T|) { panic!(); } - -fn test_fn<'x, 'y, 'z, T>(_x: &'x T, _y: &'y T, _z: &'z T) { - // Here, x, y, and z are free. Other letters - // are bound. Note that the arrangement - // subtype::<T1>(of::<T2>()) will typecheck - // iff T1 <: T2. - - // should be the default: - subtype::< ||:'static>(of::<||>()); - subtype::<||>(of::< ||:'static>()); - - // - subtype::< <'x> ||>(of::<||>()); //~ ERROR mismatched types - subtype::< <'x> ||>(of::< <'y> ||>()); //~ ERROR mismatched types - - subtype::< <'x> ||>(of::< ||:'static>()); //~ ERROR mismatched types - subtype::< ||:'static>(of::< <'x> ||>()); - -} - -fn main() {} |