fix tests/misc/mlazysemcheck.nim

Author: timotheecour

tests/method/tgeneric_methods.nim

@@ -13,6 +13,11 @@ type
 method wow[T](y: int; x: First[T]) {.base.} =
   echo "wow1"
 
+when defined(nimLazySemcheck):
+  # this currently needs the following workaround; note that generic methods
+  # are deprecated and non-generic methods work fine, see D20210909T005449
+  type _ = typeof(wow) # D20210905T125411_forceSemcheck_compiles
+
 method wow[T](y: int; x: Second[T]) =
   echo "wow2"
 

tests/misc/mlazysemcheck.nim

@@ -33,24 +33,38 @@ when defined case_noimports:
     static: doAssert gfn1() == 2
     doAssert gfn1() == 2
 
-    # method
-    type Ga = ref object of RootObj
-    method gfn2*(a: Ga, b: string) {.base, gcsafe.} = discard
-    block:
-      var a = Ga()
-      a.gfn2("")
-
-    # converter
-    type Ga3 = object
-      a0: int
-    type Gb3 = object
-      b0: int
-    converter toGb3(a: Ga3): Gb3 =
-      Gb3(b0: a.a0)
-    block:
-      var a = Ga3(a0: 3)
-      var b: Gb3 = a
-      doAssert b == Gb3(b0: 3)
+    when true: # methods
+      type Ga = ref object of RootObj
+      method gfn2*(a: Ga, b: string) {.base, gcsafe.} = discard
+      block:
+        var a = Ga()
+        a.gfn2("")
+
+      # D20210909T005449:here
+      # example adapted from tests/method/tgeneric_methods but using regular methods
+      # instead of generic methods (which are deprecated)
+      type
+        GFirst = ref object of RootObj
+          value: int
+        GSecond = ref object of GFirst
+          value2: int
+      method wow(x: GFirst): int {.base.} = 1
+      method wow(x: GSecond): int = 2
+      block:
+        proc takeFirst(x: GFirst): int = wow(x)
+        doAssert takeFirst(GSecond()) == 2
+
+    when true: # converter
+      type Ga3 = object
+        a0: int
+      type Gb3 = object
+        b0: int
+      converter toGb3(a: Ga3): Gb3 =
+        Gb3(b0: a.a0)
+      block:
+        var a = Ga3(a0: 3)
+        var b: Gb3 = a
+        doAssert b == Gb3(b0: 3)
 
   block: # out of order
     proc fn1 =