mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Clean up E0751 explanation

Browse Source
This commit is contained in:
Guillaume Gomez 2020-08-12 14:15:44 +02:00
parent 441fd22557
commit d0704d5d36
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, you can't have both at the same time!