1 // Copyright 2013 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // Test that things from the prelude aren't in scope. Use many of them
12 // so that renaming some things won't magically make this test fail
13 // for the wrong reason (e.g., if `Add` changes to `Addition`, and
14 // `no_implicit_prelude` stops working, then the `impl Add` will still
15 // fail with the same error message).
17 #[no_implicit_prelude]
21 impl Add for Test {} //~ ERROR cannot find trait `Add` in this scope
22 impl Clone for Test {} //~ ERROR cannot find trait `Clone` in this scope
23 impl Iterator for Test {} //~ ERROR cannot find trait `Iterator` in this scope
24 impl ToString for Test {} //~ ERROR cannot find trait `ToString` in this scope
25 impl Writer for Test {} //~ ERROR cannot find trait `Writer` in this scope
28 drop(2) //~ ERROR cannot find function `drop` in this scope
33 impl Add for Test {} //~ ERROR cannot find trait `Add` in this scope
34 impl Clone for Test {} //~ ERROR cannot find trait `Clone` in this scope
35 impl Iterator for Test {} //~ ERROR cannot find trait `Iterator` in this scope
36 impl ToString for Test {} //~ ERROR cannot find trait `ToString` in this scope
37 impl Writer for Test {} //~ ERROR cannot find trait `Writer` in this scope
40 drop(2) //~ ERROR cannot find function `drop` in this scope
45 #[no_implicit_prelude]
48 impl Add for Test {} //~ ERROR cannot find trait `Add` in this scope
49 impl Clone for Test {} //~ ERROR cannot find trait `Clone` in this scope
50 impl Iterator for Test {} //~ ERROR cannot find trait `Iterator` in this scope
51 impl ToString for Test {} //~ ERROR cannot find trait `ToString` in this scope
52 impl Writer for Test {} //~ ERROR cannot find trait `Writer` in this scope
55 drop(2) //~ ERROR cannot find function `drop` in this scope
62 // these should work fine