Add E0130 error explanation

diff --git a/src/librustc_typeck/diagnostics.rs b/src/librustc_typeck/diagnostics.rs
index 01f7db83adfa1013a0e90d6dcdab497ac1fc94f3..8e6f6a50fa58f5f78667f9947e090e0d2eaef599 100644 (file)
--- a/src/librustc_typeck/diagnostics.rs
+++ b/src/librustc_typeck/diagnostics.rs
@@ -1378,8 +1378,8 @@ struct Foo {
 // identifiers
 ```
 
-Please verify you used the good type or change the type parameter identifier.
-Example:
+Please verify that a name clash hasn't been accidentally introduced, and rename
+the type parameter if so. Example:
 
 ```
 pub struct Foo<T=SomeType> {
@@ -1388,6 +1388,35 @@ pub struct Foo<T=SomeType> {
 ```
 "##,
 
+E0130: r##"
+You declared a pattern as an argument in a foreign function declaration.
+Erroneous code example:
+
+```
+extern {
+    fn foo((a, b): (u32, u32)); // error: patterns aren't allowed in foreign
+                                //        function declarations
+}
+```
+
+Please replace the pattern argument with a regular one. Example:
+
+```
+struct SomeStruct {
+    a: u32,
+    b: u32,
+}
+
+extern {
+    fn foo(s: SomeStruct); // ok!
+}
+// or
+extern {
+    fn foo(a: (u32, u32)); // ok!
+}
+```
+"##,
+
 E0131: r##"
 It is not possible to define `main` with type parameters, or even with function
 parameters. When `main` is present, it must take no arguments and return `()`.
@@ -1999,7 +2028,6 @@ impl Baz for Bar { } // Note: This is OK
     E0123,
     E0127,
     E0129,
-    E0130,
     E0141,
     E0159,
     E0163,