do not match generic invocations to their base body types

compiler/sigmatch.nim

@@ -1745,6 +1745,9 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
     elif x.kind == tyGenericInst and concpt.kind == tyConcept:
       result = if concepts.conceptMatch(c.c, concpt, x, c.bindings, f): isGeneric
                else: isNone
+    elif x.kind == tyGenericBody and f[0] == x:
+      # not specific enough
+      result = isNone
     else:
       let genericBody = f[0]
       var askip = skippedNone

tests/generics/tgenerics_issues.nim

@@ -741,7 +741,8 @@ block t1684:
 block t5632:
   type Option[T] = object
 
-  proc point[A](v: A, t: typedesc[Option[A]]): Option[A] =
+  # original issue test uses Option[A] instead
+  proc point[A](v: A, t: typedesc[Option]): Option[A] =
     discard
 
   discard point(1, Option)

tests/overload/tgenericbodymatch.nim

@@ -0,0 +1,13 @@
+# issue #24688
+
+type
+  R[T, E] = object
+  A = object
+  B = object
+
+# Remove this overload to make it work
+func err[T](_: type R[T, void]): R[T, void] = discard
+
+func err(_: type R): R[A, B] = discard
+
+discard R.err()