From 8cbbb94db406ab5509ca958c7c2ef6760a36b0ae Mon Sep 17 00:00:00 2001
From: ringabout <43030857+ringabout@users.noreply.github.com>
Date: Fri, 27 Feb 2026 19:25:06 +0800
Subject: [PATCH] adds a test case

---
 tests/typerel/t25262.nim | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/typerel/t25262.nim

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