1 files changed, 5 insertions, 0 deletions
diff --git a/tests/ui/deref-non-pointer.rs b/tests/ui/deref-non-pointer.rs
new file mode 100644
index 00000000000..82ab355e697
--- /dev/null
+++ b/tests/ui/deref-non-pointer.rs
@@ -0,0 +1,5 @@
+fn main() {
+  match *1 { //~ ERROR: cannot be dereferenced
+      _ => { panic!(); }
+  }
+}