Auto merge of #28263 - christopherdumas:add_help_E0118, r=nikomatsakis

Contributing to the Rust error explanations. Should I also add a better error for it by default?

1 files changed, 20 insertions, 1 deletions

diff --git a/src/librustc_typeck/diagnostics.rs b/src/librustc_typeck/diagnostics.rs
index 4bbb33164d2..78eaedfbd1b 100644
--- a/src/librustc_typeck/diagnostics.rs
+++ b/src/librustc_typeck/diagnostics.rs
@@ -1533,6 +1533,26 @@ For information on the design of the orphan rules, see [RFC 1023].
 [RFC 1023]: https://github.com/rust-lang/rfcs/pull/1023
 "##,
 
+E0118: r##"
+Rust can't find a base type for an implementation you are providing, or the type
+cannot have an implementation. For example, only a named type or a trait can
+have an implementation:
+
+```
+type NineString = [char, ..9] // This isn't a named type (struct, enum or trait)
+impl NineString {
+    // Some code here
+}
+```
+
+In the other, simpler case, Rust just can't find the type you are providing an
+impelementation for:
+
+```
+impl SomeTypeThatDoesntExist {  }
+```
+"##,
+
 E0119: r##"
 There are conflicting trait implementations for the same type.
 Example of erroneous code:
@@ -3258,7 +3278,6 @@ register_diagnostics! {
     E0090,
     E0103, // @GuillaumeGomez: I was unable to get this error, try your best!
     E0104,
-    E0118,
 //  E0123,
 //  E0127,
 //  E0129,