We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 845fb94 + f11b2e5 commit a62dd23Copy full SHA for a62dd23
src/librustc_error_codes/error_codes/E0751.md
@@ -5,8 +5,8 @@ Erroneous code example:
5
```compile_fail,E0751
6
trait MyTrait {}
7
impl MyTrait for i32 { }
8
-impl !MyTrait for i32 { }
+impl !MyTrait for i32 { } // error!
9
```
10
11
-Negative implementations are a promise that the trait will never be
12
-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.
0 commit comments