Add E0232 error explanation

diff --git a/src/librustc_typeck/diagnostics.rs b/src/librustc_typeck/diagnostics.rs
index 4f0b30bee9e9d206e6fc0ac9ffbd358c9142c76b..5027be5fb62a32523c6d51b306f4219704932683 100644 (file)
--- a/src/librustc_typeck/diagnostics.rs
+++ b/src/librustc_typeck/diagnostics.rs
@@ -1563,7 +1563,7 @@ trait Trait {
                   //        the trait `Trait`) must be specified
 ```
 
-Please verify you specified all associated types of the trait or that you
+Please verify you specified all associated types of the trait and that you
 used the right trait. Example:
 
 ```
@@ -1869,7 +1869,7 @@ trait Trait {
                          //        `Trait`
 ```
 
-Please verify you used the good trait or you didn't mispelled the
+Please verify you used the right trait or you didn't misspell the
 associated type name. Example:
 
 ```
@@ -1881,6 +1881,22 @@ trait Trait {
 ```
 "##,
 
+E0232: r##"
+The attribute must have a value. Erroneous code example:
+
+```
+#[rustc_on_unimplemented] // error: this attribute must have a value
+trait Bar {}
+```
+
+Please supply the missing value of the attribute. Example:
+
+```
+#[rustc_on_unimplemented = "foo"] // ok!
+trait Bar {}
+```
+"##,
+
 E0243: r##"
 This error indicates that not enough type parameters were found in a type or
 trait.
@@ -2153,7 +2169,6 @@ impl Baz for Bar { } // Note: This is OK
     E0229, // associated type bindings are not allowed here
     E0230, // there is no type parameter on trait
     E0231, // only named substitution parameters are allowed
-    E0232, // this attribute must have a value
     E0233,
     E0234,
     E0235, // structure constructor specifies a structure of type but