diff --git a/compiler/semcall.nim b/compiler/semcall.nim
index 4b645ac256..ee8a96cb0b 100644
--- a/compiler/semcall.nim
+++ b/compiler/semcall.nim
@@ -981,7 +981,7 @@ proc setGenericParams(c: PContext, n, expectedParams: PNode) =
     if e.typ == nil:
       n[i].typ() = errorType(c)
     else:
-      n[i].typ() = e.typ.skipTypes({tyTypeDesc})
+      n[i].typ() = e.typ
 
 proc explicitGenericInstantiation(c: PContext, n: PNode, s: PSym, doError: bool): PNode =
   assert n.kind == nkBracketExpr
diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim
index 89e7e23d71..1c38c0fe6e 100644
--- a/compiler/sigmatch.nim
+++ b/compiler/sigmatch.nim
@@ -160,8 +160,7 @@ proc matchGenericParam(m: var TCandidate, formal: PType, n: PNode) =
       arg = newTypeS(tyStatic, m.c, son = evaluated.typ)
       arg.n = evaluated
   elif formalBase.kind == tyTypeDesc:
-    if arg.kind != tyTypeDesc:
-      arg = makeTypeDesc(m.c, arg)
+    discard # if arg is not tyTypeDesc, typeRel will report the mismatch
   else:
     arg = arg.skipTypes({tyTypeDesc})
   let tm = typeRel(m, formal, arg)
diff --git a/tests/generics/tpointerprocs.nim b/tests/generics/tpointerprocs.nim
index 29c4f2954f..ba99044645 100644
--- a/tests/generics/tpointerprocs.nim
+++ b/tests/generics/tpointerprocs.nim
@@ -3,7 +3,7 @@ cmd: "nim check $options --hints:off $file"
 action: "reject"
 nimout:'''
 tpointerprocs.nim(22, 11) Error: 'foo' doesn't have a concrete type, due to unspecified generic parameters.
-tpointerprocs.nim(34, 14) Error: type mismatch: got <int>
+tpointerprocs.nim(34, 14) Error: type mismatch: got <typedesc[int]>
 but expected one of:
 proc foo(x: int | float; y: int or string): float
   first type mismatch at position: 2 in generic parameters
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