1 files changed, 21 insertions, 0 deletions
diff --git a/src/test/ui/reachable/unreachable-loop-patterns.rs b/src/test/ui/reachable/unreachable-loop-patterns.rs
new file mode 100644
index 00000000000..6f1d2efa1b2
--- /dev/null
+++ b/src/test/ui/reachable/unreachable-loop-patterns.rs
@@ -0,0 +1,21 @@
+#![feature(never_type)]
+#![feature(exhaustive_patterns)]
+
+#![allow(unreachable_code)]
+#![deny(unreachable_patterns)]
+
+enum Void {}
+
+impl Iterator for Void {
+    type Item = Void;
+
+    fn next(&mut self) -> Option<Void> {
+        None
+    }
+}
+
+fn main() {
+    for _ in unimplemented!() as Void {}
+    //~^ ERROR unreachable pattern
+    //~^^ ERROR unreachable pattern
+}