take that

nim-lang · Sep 18, 2022 · 425cc30 · 425cc30
1 parent befb485
commit 425cc30
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/compiler/semcall.nim b/compiler/semcall.nim
@@ -482,9 +482,11 @@ proc inferWithMetatype(c: PContext, formal: PType,
     # This almost exactly replicates the steps taken by the compiler during
     # param matching. It performs an embarrassing amount of back-and-forth
     # type jugling, but it's the price to pay for consistency and correctness
-    # result.typ = generateTypeInstance(c, m.bindings, arg.info,
-    #                                   formal.skipTypes({tyCompositeTypeClass}))
-    result.typ = arg.typ
+    if formal.kind == tyUserTypeClass:
+      result.typ = arg.typ
+    else:
+      result.typ = generateTypeInstance(c, m.bindings, arg.info,
+                                      formal.skipTypes({tyCompositeTypeClass}))
   else:
     typeMismatch(c.config, arg.info, formal, arg.typ, arg)
     # error correction: