bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #75291 - GuillaumeGomez:cleanup-e0750, r=pickfire

Browse source 
Clean up E0750

r? @Dylan-DPC
This commit is contained in:
Yuki Okushi 2020-08-09 06:41:37 +09:00 • committed by GitHub
commit bc3ee48fd2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 19 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

22
src/librustc_error_codes/error_codes/E0750.md
View file

@ -1,4 +1,18 @@
Negative impls cannot be default impls. A default impl supplies
default values for the items within to be used by other impls, whereas
a negative impl declares that there are no other impls. These don't
make sense to combine.
A negative impl was made default impl.
Erroneous code example:
```compile_fail,E0750
# #![feature(negative_impls)]
# #![feature(specialization)]
trait MyTrait {
type Foo;
}
default impl !MyTrait for u32 {} // error!
# fn main() {}
```
Negative impls cannot be default impls. A default impl supplies default values
for the items within to be used by other impls, whereas a negative impl declares
that there are no other impls. Combining it does not make sense.

3
src/tools/tidy/src/error_codes_check.rs
View file

@ -16,8 +16,7 @@ const EXEMPTED_FROM_TEST: &[&str] = &[
];
// Some error codes don't have any tests apparently...
const IGNORE_EXPLANATION_CHECK: &[&str] =
&["E0570", "E0601", "E0602", "E0639", "E0729", "E0749", "E0750"];
const IGNORE_EXPLANATION_CHECK: &[&str] = &["E0570", "E0601", "E0602", "E0639", "E0729", "E0749"];
fn check_error_code_explanation(
f: &str,