1 // Copyright 2016 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 #![allow(non_snake_case)]
13 // Error messages for EXXXX errors.
14 // Each message should start and end with a new line, and be wrapped to 80 characters.
15 // In vim you can `:set tw=80` and use `gq` to wrap paragraphs. Use `:set tw=0` to disable.
16 register_long_diagnostics! {
19 In types, the `+` type operator has low precedence, so it is often necessary
28 w: &'a Foo + Copy, // error, use &'a (Foo + Copy)
29 x: &'a Foo + 'a, // error, use &'a (Foo + 'a)
30 y: &'a mut Foo + 'a, // error, use &'a mut (Foo + 'a)
31 z: fn() -> Foo + 'a, // error, use fn() -> (Foo + 'a)
35 More details can be found in [RFC 438].
37 [RFC 438]: https://github.com/rust-lang/rfcs/pull/438
41 The `not` cfg-predicate was malformed.
43 Erroneous code example:
46 #[cfg(not())] // error: expected 1 cfg-pattern
52 The `not` predicate expects one cfg-pattern. Example:
55 #[cfg(not(target_os = "linux"))] // ok!
61 For more information about the cfg attribute, read:
62 https://doc.rust-lang.org/reference.html#conditional-compilation
66 An unknown predicate was used inside the `cfg` attribute.
68 Erroneous code example:
71 #[cfg(unknown())] // error: invalid predicate `unknown`
77 The `cfg` attribute supports only three kinds of predicates:
86 #[cfg(not(target_os = "linux"))] // ok!
92 For more information about the cfg attribute, read:
93 https://doc.rust-lang.org/reference.html#conditional-compilation
97 A unrecognized representation attribute was used.
99 Erroneous code example:
101 ```compile_fail,E0552
102 #[repr(D)] // error: unrecognized representation hint
108 You can use a `repr` attribute to tell the compiler how you want a struct or
109 enum to be laid out in memory.
111 Make sure you're using one of the supported options:
120 For more information about specifying representations, see the ["Alternative
121 Representations" section] of the Rustonomicon.
123 ["Alternative Representations" section]: https://doc.rust-lang.org/nomicon/other-reprs.html
127 Feature attributes are only allowed on the nightly release channel. Stable or
128 beta compilers will not comply.
130 Example of erroneous code (on a stable compiler):
132 ```ignore (depends on release channel)
133 #![feature(non_ascii_idents)] // error: #![feature] may not be used on the
134 // stable release channel
137 If you need the feature, make sure to use a nightly release of the compiler
138 (but be warned that the feature may be removed or altered in the future).
142 A feature attribute named a feature that has been removed.
144 Erroneous code example:
146 ```compile_fail,E0557
147 #![feature(managed_boxes)] // error: feature has been removed
150 Delete the offending feature attribute.
154 A literal was used in an attribute that doesn't support literals.
156 Erroneous code example:
158 ```ignore (compile_fail not working here; see Issue #43707)
159 #![feature(attr_literals)]
161 #[inline("always")] // error: unsupported literal
162 pub fn something() {}
165 Literals in attributes are new and largely unsupported. Work to support literals
166 where appropriate is ongoing. Try using an unquoted name instead:
170 pub fn something() {}
175 A file wasn't found for an out-of-line module.
177 Erroneous code example:
179 ```ignore (compile_fail not working here; see Issue #43707)
180 mod file_that_doesnt_exist; // error: file not found for module
185 Please be sure that a file corresponding to the module exists. If you
186 want to use a module named `file_that_doesnt_exist`, you need to have a file
187 named `file_that_doesnt_exist.rs` or `file_that_doesnt_exist/mod.rs` in the
192 A documentation comment that doesn't document anything was found.
194 Erroneous code example:
196 ```compile_fail,E0585
198 // The following doc comment will fail:
199 /// This is a useless doc comment!
203 Documentation comments need to be followed by items, including functions,
204 types, modules, etc. Examples:
207 /// I'm documenting the following struct:
210 /// I'm documenting the following function:
216 An inclusive range was used with no end.
218 Erroneous code example:
220 ```compile_fail,E0586
222 let tmp = vec![0, 1, 2, 3, 4, 4, 3, 3, 2, 1];
223 let x = &tmp[1..=]; // error: inclusive range was used with no end
227 An inclusive range needs an end in order to *include* it. If you just need a
228 start and no end, use a non-inclusive range (with `..`):
232 let tmp = vec![0, 1, 2, 3, 4, 4, 3, 3, 2, 1];
233 let x = &tmp[1..]; // ok!
237 Or put an end to your inclusive range:
241 let tmp = vec![0, 1, 2, 3, 4, 4, 3, 3, 2, 1];
242 let x = &tmp[1..=3]; // ok!
248 An unstable feature was used.
250 Erroneous code example:
253 #[repr(u128)] // error: use of unstable library feature 'i128'
259 If you're using a stable or a beta version of rustc, you won't be able to use
260 any unstable features. In order to do so, please switch to a nightly version of
261 rustc (by using rustup).
263 If you're using a nightly version of rustc, just add the corresponding feature
264 to be able to use it:
267 #![feature(repri128)]
277 The `unwind` attribute was malformed.
279 Erroneous code example:
281 ```ignore (compile_fail not working here; see Issue #43707)
282 #[unwind()] // error: expected one argument
283 pub extern fn something() {}
288 The `#[unwind]` attribute should be used as follows:
290 - `#[unwind(aborts)]` -- specifies that if a non-Rust ABI function
291 should abort the process if it attempts to unwind. This is the safer
292 and preferred option.
294 - `#[unwind(allowed)]` -- specifies that a non-Rust ABI function
295 should be allowed to unwind. This can easily result in Undefined
296 Behavior (UB), so be careful.
298 NB. The default behavior here is "allowed", but this is unspecified
299 and likely to change in the future.
305 register_diagnostics! {
306 E0538, // multiple [same] items
307 E0539, // incorrect meta item
308 E0540, // multiple rustc_deprecated attributes
309 E0541, // unknown meta item
310 E0542, // missing 'since'
311 E0543, // missing 'reason'
312 E0544, // multiple stability levels
313 E0545, // incorrect 'issue'
314 E0546, // missing 'feature'
315 E0547, // missing 'issue'
316 E0548, // incorrect stability attribute type
317 E0549, // rustc_deprecated attribute must be paired with either stable or unstable attribute
318 E0550, // multiple deprecated attributes
319 E0551, // incorrect meta item
320 E0553, // multiple rustc_const_unstable attributes
321 E0555, // malformed feature attribute, expected #![feature(...)]
322 E0556, // malformed feature, expected just one word
323 E0584, // file for module `..` found at both .. and ..
324 E0589, // invalid `repr(align)` attribute
325 E0629, // missing 'feature' (rustc_const_unstable)
326 E0630, // rustc_const_unstable attribute must be paired with stable/unstable attribute