diff --git a/tests/typerel/t25262.nim b/tests/typerel/t25262.nim
new file mode 100644
index 0000000000..182561dde3
--- /dev/null
+++ b/tests/typerel/t25262.nim
@@ -0,0 +1,13 @@
+discard """
+   errormsg: "type mismatch"
+   output: '''
+t25262.nim(13, 5) Error: type mismatch: got <>
+but expected one of:
+proc v[T: typedesc]()
+
+expression: v[0]()
+'''
+"""
+
+proc v[T: typedesc]() = discard
+v[0]()
\ No newline at end of file