207 Commits

Author SHA1 Message Date
Manish Goregaokar
dc556bef43 Add long diagnostics for E0272-274 (on_unimplemented) 2015-07-25 00:04:10 +05:30
Manish Goregaokar
8590501b31 Add E0270 2015-07-25 00:04:10 +05:30
Manish Goregaokar
4337e822fb Add long diagnostic for E0269 2015-07-23 12:49:26 +05:30
Manish Goregaokar
d6be183af1 Improve E0260 2015-07-23 12:49:26 +05:30
Manish Goregaokar
74768e9a6c Add long diagnostics for E0139 (type parameters in transmute) 2015-07-23 12:49:25 +05:30
Manish Goregaokar
3080df36e2 Add long diagnostic for E0138 2015-07-23 12:49:25 +05:30
Manish Goregaokar
e9c15307a9 Add long diagnostic for E0136 2015-07-23 12:49:25 +05:30
Manish Goregaokar
29d7147dda Review fixes 2015-07-23 12:49:25 +05:30
Manish Goregaokar
950c2d8135 Add huge explanation for E0038 (object safety) 2015-07-23 12:49:24 +05:30
Manish Goregaokar
37a84bc821 Add error explanation for E0022 2015-07-23 12:47:05 +05:30
Manish Goregaokar
5d31deeae4 Add error explanation for E0017 2015-07-23 12:45:11 +05:30
Manish Goregaokar
688a09910a Move E0006 into E0005 2015-07-23 12:45:11 +05:30
Manish Goregaokar
36d852918f Improve E0001-E0003 2015-07-23 12:45:11 +05:30
Eli Friedman
6bdfb05347 Clarify the usage of "hints" in const_eval.
The "hint" mechanism is essentially used as a workaround to compute
types for expressions which have not yet been type-checked. This
commit clarifies that usage, and limits the effects to the places
where it is currently necessary.

Fixes #26210.
2015-07-17 18:29:34 -07:00
Michael Sproul
4ec3ab61c0 diagnostics: Fix E0303 explanation. 2015-07-13 23:21:33 +10:00
Manish Goregaokar
afe16ae7ff Rollup merge of #26976 - tshepang:more-simple-explanation, r=gankro
That sentence make me read it a few times before properly understanding it
2015-07-12 18:35:55 +05:30
Tshepang Lekhonkhobe
ef8c3775af doc: make explanation easier to undrstand 2015-07-11 23:03:22 +02:00
Tshepang Lekhonkhobe
de7d1c08d3 remove repetition from E0308 explanation 2015-07-11 20:21:10 +02:00
bors
afe25a2d6a Auto merge of #26515 - quantheory:check_enum_recursion, r=nrc
Fixes #23302.

Note that there's an odd situation regarding the following, most likely due to some inadequacy in `const_eval`:

```rust
enum Y {
    A = 1usize,
    B,
}
```

In this case, `Y::B as usize` might be considered a constant expression in some cases, but not others.  (See #23513, for a related problem where there is only one variant, with no discriminant, and it doesn't behave nicely as a constant expression either.)

Most of the complexity in this PR is basically future-proofing, to ensure that when `Y::B as usize` is fully made to be a constant expression, it can't be used to set `Y::A`, and thus indirectly itself.
2015-07-09 03:41:22 +00:00
Liigo Zhuang
6a9f4dbc61 update diagnostics E0109 about None::<T> 2015-07-08 13:07:50 +08:00
Ariel Ben-Yehuda
45fd29621d mark user-defined derefs as non-constant
Fixes #25901
2015-07-07 18:48:28 +03:00
Ariel Ben-Yehuda
90fcf261f2 Remove outdated errors for mutating strings 2015-07-04 16:17:26 +03:00
Niko Matsakis
1e7a6b880c After inferring regions, scan for any bounds that are due to a lifetime
bound that is likely to change. In that case, it will change to 'static,
so then scan down the graph to see whether there are any hard
constraints that would prevent 'static from being a valid value
here. Report a warning.
2015-07-03 19:42:35 -04:00
bors
50cb22f8e0 Auto merge of #26713 - GuillaumeGomez:patch-3, r=Manishearth
r? @Manishearth
2015-07-02 14:23:02 +00:00
Guillaume Gomez
28d2b39f45 Add E0277 error explanation 2015-07-01 19:15:53 +02:00
Guillaume Gomez
0ca7699837 Add examples in error explanation E0267 and E0268 2015-07-01 19:14:27 +02:00
Corey Farwell
e834c0348f Link to docs from error explanations via HTTPS 2015-06-29 17:23:02 -07:00
Guillaume Gomez
7f830a874c The come back of the "a" eaten by the void 2015-06-29 10:21:39 +02:00
Guillaume Gomez
b442530671 Add more details in error explanation 2015-06-29 10:03:02 +02:00
Guillaume Gomez
14e3d26b8a Add E0110 error explanation 2015-06-29 07:36:59 +02:00
Guillaume Gomez
d73cc56565 Add E0109 error explanation 2015-06-27 14:23:53 +02:00
Guillaume Gomez
7b4eb1aa90 Add E0327 error code. Thanks @nagisa for his help! 2015-06-25 18:20:29 +02:00
Guillaume Gomez
b7e41d9aea Add E0396 error explanation 2015-06-24 20:55:23 +02:00
Sean Patrick Santos
faf73028c9 Fix issue #23302, ICE on recursively defined enum variant discriminant. 2015-06-22 20:55:57 -06:00
Guillaume Gomez
2015eb881e Replace "Bad example" by a better sentence 2015-06-19 14:05:11 +02:00
Guillaume Gomez
6471dccd3b Add E0016 explanation 2015-06-19 14:03:07 +02:00
Nick Hamann
aace3675b7 Revise E0133 description.
Tweaks some of the wording so it reads better.
2015-06-10 02:18:53 -05:00
bors
1ade076f62 Auto merge of #26029 - GuillaumeGomez:const_check, r=Manishearth
Part of #24407.
2015-06-08 09:54:32 +00:00
Guillaume Gomez
ae550bd987 Add error explanation for E0014 2015-06-08 08:18:03 +02:00
Rémi Audebert
27dd0dda1b Fix small typo in diagnostics.rs 2015-06-06 18:32:49 +02:00
Guillaume Gomez
dbfc8c5a07 Update diagnostics.rs 2015-06-01 12:33:41 +02:00
Guillaume Gomez
42c5c982c4 Remove full path 2015-06-01 10:46:28 +02:00
Guillaume Gomez
9eb416b8a4 Add E0011 explanation 2015-05-31 19:34:03 +02:00
Nick Hamann
fdf3ce76cf Change E0015 and E0378 explanations to link to text of RFC 911, not rfc PR. 2015-05-28 21:12:46 -05:00
Nick Hamann
364035497c Revise E0015 according to feedback. 2015-05-28 21:02:13 -05:00
Nick Hamann
7e78e708fb Convert mutable statics error to have error code and add explanation.
Also changes 'owned pointers' => 'boxes' in the error message.
2015-05-28 19:28:07 -05:00
Nick Hamann
eb15030dc1 Add error explanations for E0040, E0087, E0378, E0379, E0394. 2015-05-28 17:54:19 -05:00
Nick Hamann
f6074406db Update E0015 explanation, fix E0053. 2015-05-28 17:54:13 -05:00
bors
a5a5fcee38 Auto merge of #25834 - steveklabnik:gh25326, r=alexcrichton
Fixes #25326
2015-05-28 13:57:36 +00:00
Ariel Ben-Yehuda
080311d1f9 Prevent comparison and dereferencing of raw pointers in constexprs
Fixes #25826.
2015-05-28 03:22:44 +03:00