include static types in type bound ops (#24366)

refs #24315 (comment)
nim-lang · Oct 26, 2024 · 40fc2d0 · 40fc2d0
1 parent efd603e
commit 40fc2d0
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/compiler/types.nim b/compiler/types.nim
@@ -1993,8 +1993,7 @@ proc nominalRoot*(t: PType): PType =
       #result = nominalRoot(t.skipModifier)
       result = nil
   of tyStatic:
-    # ?
-    result = nil
+    result = nominalRoot(t.base)
   else:
     # skips all typeclasses
     # is this correct for `concept`?

diff --git a/tests/sandwich/mstatic.nim b/tests/sandwich/mstatic.nim
@@ -0,0 +1,8 @@
+type Foo* = object
+  x*, y*: int
+
+proc `$`*(x: static Foo): string =
+  "static Foo(" & $x.x & ", " & $x.y & ")"
+
+proc `$`*(x: Foo): string =
+  "runtime Foo(" & $x.x & ", " & $x.y & ")"
diff --git a/tests/sandwich/tstatic.nim b/tests/sandwich/tstatic.nim
@@ -0,0 +1,5 @@
+from mstatic import Foo
+
+doAssert $Foo(x: 1, y: 2) == "static Foo(1, 2)"
+let foo = Foo(x: 3, y: 4)
+doAssert $foo == "runtime Foo(3, 4)"