From d0704d5d367f85843a61db71da4edde25378a197 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Wed, 12 Aug 2020 14:15:44 +0200 Subject: [PATCH 1/2] Clean up E0751 explanation --- src/librustc_error_codes/error_codes/E0751.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/librustc_error_codes/error_codes/E0751.md b/src/librustc_error_codes/error_codes/E0751.md index 809b888d92ac3..212c8674304a0 100644 --- a/src/librustc_error_codes/error_codes/E0751.md +++ b/src/librustc_error_codes/error_codes/E0751.md @@ -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! From f11b2e521e6b36c2398b683a9be2f5633b5d06f2 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Wed, 12 Aug 2020 16:46:40 +0200 Subject: [PATCH 2/2] Improve wording --- src/librustc_error_codes/error_codes/E0751.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/librustc_error_codes/error_codes/E0751.md b/src/librustc_error_codes/error_codes/E0751.md index 212c8674304a0..8794f7868f302 100644 --- a/src/librustc_error_codes/error_codes/E0751.md +++ b/src/librustc_error_codes/error_codes/E0751.md @@ -9,4 +9,4 @@ impl !MyTrait for i32 { } // error! ``` 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! +for the given types. Therefore, both cannot exists at the same time.