From 5076a3efc707436c20c62f90e5df47e78052ed2d Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Tue, 14 Jan 2020 14:04:03 +0100
Subject: [PATCH] Add failing example for E0170 explanation
---
src/librustc_error_codes/error_codes/E0170.md | 21 +++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/src/librustc_error_codes/error_codes/E0170.md b/src/librustc_error_codes/error_codes/E0170.md
index 4b870dbf221..56e1b5aa241 100644
--- a/src/librustc_error_codes/error_codes/E0170.md
+++ b/src/librustc_error_codes/error_codes/E0170.md
@@ -1,3 +1,24 @@
+A pattern binding is using the same name as one of the variants a type.
+
+Erroneous code example:
+
+```compile_fail,E0170
+# #![deny(warnings)]
+enum Method {
+ GET,
+ POST,
+}
+
+fn is_empty(s: Method) -> bool {
+ match s {
+ GET => true,
+ _ => false
+ }
+}
+
+fn main() {}
+```
+
Enum variants are qualified by default. For example, given this type:
```