diff options
| author | bors <bors@rust-lang.org> | 2013-06-08 19:16:11 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2013-06-08 19:16:11 -0700 |
| commit | 1f0c05ff745cbb40ad065be6522e2c671fc6bb93 (patch) | |
| tree | 377828d3461bdd3351b51cd53151cdb8b76346da /src/test | |
| parent | 470bf0dfb362e7494cfddf4e7d443e1264dfdf2f (diff) | |
| parent | 54ec7ab057018fac886039108d02300025e223a0 (diff) | |
auto merge of #7018 : bill-myers/rust/fix_7017, r=thestinger
Minimally fixes #7017, we were overwriting the result and thus ignoring attributes before the last. csearch::get_item_attrs and decoder::get_item_attrs should probably also be changed to each_item_attrs using the for protocol, but that's just a minor performance/style issue.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/compile-fail/rcmut-not-const-and-not-owned.rs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/compile-fail/rcmut-not-const-and-not-owned.rs b/src/test/compile-fail/rcmut-not-const-and-not-owned.rs new file mode 100644 index 00000000000..9e7236a67d9 --- /dev/null +++ b/src/test/compile-fail/rcmut-not-const-and-not-owned.rs @@ -0,0 +1,20 @@ +// 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. +// +// 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. + +extern mod extra; + +fn o<T: Owned>(_: &T) {} +fn c<T: Const>(_: &T) {} + +fn main() { + let x = extra::rc::rc_mut_from_owned(0); + o(&x); //~ ERROR instantiating a type parameter with an incompatible type `extra::rc::RcMut<int>`, which does not fulfill `Owned` + c(&x); //~ ERROR instantiating a type parameter with an incompatible type `extra::rc::RcMut<int>`, which does not fulfill `Const` +} |
