From 1a6730e31ced3a7264c80c0bbdd9f42c54f1534b Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Fri, 31 Jul 2020 13:15:47 +0200
Subject: [PATCH] Clean up E0741 error explanation

---
 src/librustc_error_codes/error_codes/E0741.md | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/librustc_error_codes/error_codes/E0741.md b/src/librustc_error_codes/error_codes/E0741.md
index 0a8650282a3..91379bfe05c 100644
--- a/src/librustc_error_codes/error_codes/E0741.md
+++ b/src/librustc_error_codes/error_codes/E0741.md
@@ -1,5 +1,6 @@
-Only structural-match types (that is, types that derive `PartialEq` and `Eq`)
-may be used as the types of const generic parameters.
+A non-structural-match type was used as the type of a const generic parameter.
+
+Erroneous code example:
 
 ```compile_fail,E0741
 #![feature(const_generics)]
@@ -9,12 +10,15 @@ struct A;
 struct B<const X: A>; // error!
 ```
 
-To fix this example, we derive `PartialEq` and `Eq`.
+Only structural-match types (that is, types that derive `PartialEq` and `Eq`)
+may be used as the types of const generic parameters.
+
+To fix the previous code example, we derive `PartialEq` and `Eq`:
 
 ```
 #![feature(const_generics)]
 
-#[derive(PartialEq, Eq)]
+#[derive(PartialEq, Eq)] // We derive both traits here.
 struct A;
 
 struct B<const X: A>; // ok!