From 6f01aa0fc8c7d74fb51e20444d9c51ce707a1de4 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Wed, 8 Jul 2015 14:28:14 +0200 Subject: [PATCH] Add E0232 error explanation --- src/librustc_typeck/diagnostics.rs | 21 ++++++++++++++++++--- 1 file changed, 18 insertions(+), 3 deletions(-) diff --git a/src/librustc_typeck/diagnostics.rs b/src/librustc_typeck/diagnostics.rs index 4f0b30bee9e..5027be5fb62 100644 --- a/src/librustc_typeck/diagnostics.rs +++ b/src/librustc_typeck/diagnostics.rs @@ -1563,7 +1563,7 @@ type Foo = Trait; // error: the value of the associated type `Bar` (from // 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 @@ type Foo = Trait; // error: associated type `F` not found for // `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 @@ type Foo = Trait; // ok! ``` "##, +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 @@ register_diagnostics! { 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