summary refs log tree commit diff stats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/types/t6456.nim7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/types/t6456.nim b/tests/types/t6456.nim
new file mode 100644
index 000000000..2d2aad370
--- /dev/null
+++ b/tests/types/t6456.nim
@@ -0,0 +1,7 @@
+discard """
+  line: 6
+  errormsg: "type \'ptr void\' is not allowed"
+"""
+
+proc foo(x: ptr void) =
+  discard