OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rollup merge of #75451 - GuillaumeGomez:cleanup-e0751, r=pickfire

Browse Source 
Clean up E0751 explanation

r? @Dylan-DPC

cc @pickfire
This commit is contained in:
Yuki Okushi 2020-08-13 11:05:40 +09:00 committed by GitHub
commit a62dd23c5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/librustc_error_codes/error_codes/E0751.md
View File

@ -5,8 +5,8 @@ Erroneous code example:
```compile_fail,E0751
trait MyTrait {}
impl MyTrait for i32 { }
impl !MyTrait for i32 { }
impl !MyTrait for i32 { } // error!
```
Negative implementations are a promise that the trait will never be
implemented for the given types.
Negative implementations are a promise that the trait will never be implemented
for the given types. Therefore, both cannot exists at the same time.