fix: crash when passing NimNode to static parameter

compiler/mir/mirgen.nim

@@ -2490,6 +2490,8 @@ proc constDataToMir*(env: var MirEnv, n: PNode): MirTree =
       bu.use toFloatLiteral(env, n)
     of nkStrLiterals:
       bu.use strLiteral(env, n.strVal, typ)
+    of nkNimNodeLit:
+      bu.use astLiteral(env, n[0], n.typ)
     of nkHiddenStdConv, nkHiddenSubConv:
       # doesn't translate to a MIR node itself, but the type overrides
       # that of the sub-expression

compiler/vm/vm.nim

@@ -500,7 +500,11 @@ proc regToNode*(c: TCtx, x: TFullReg; typ: PType, info: TLineInfo): PNode =
       # TODO: validate the address
       result = c.deserialize(c.allocator.makeLocHandle(x.addrVal, x.addrTyp), typ, info)
   of rkHandle, rkLocation: result = c.deserialize(x.handle, typ, info)
-  of rkNimNode: result = x.nimNode
+  of rkNimNode:
+    if typ.sym != nil and typ.sym.magic == mPNimrodNode:
+      result = c.deserializeNimNode(x.nimNode, typ, info)
+    else:
+      result = x.nimNode
 
 # ---- exception handling ----
 
@@ -2245,7 +2249,6 @@ proc rawExecute(c: var TCtx, t: var VmThread, pc: var int): YieldReason =
 
     of opcRepr:
       # Turn the provided value into its string representation. Used for:
-      # - implementing the general ``repr`` when not using the ``repr`` v2
       # - rendering an AST to its text representation (``repr`` for
       #   ``NimNode``)
       # - rendering the discriminant value for a ``FieldDefect``'s message
@@ -2261,9 +2264,13 @@ proc rawExecute(c: var TCtx, t: var VmThread, pc: var int): YieldReason =
 
       checkHandle(regs[rb])
 
-      let str = renderTree(c.regToNode(regs[rb], typ.nimType, c.debug[pc]),
-                           {renderNoComments, renderDocComments})
+      let n =
+        if typ.nimType.sym != nil and typ.nimType.sym.magic == mPNimrodNode:
+          regs[rb].nimNode
+        else:
+          c.regToNode(regs[rb], typ.nimType, c.debug[pc])
 
+      let str = renderTree(n, {renderNoComments, renderDocComments})
       regs[ra].strVal.newVmString(str, c.allocator)
     of opcQuit:
       return YieldReason(kind: yrkQuit, exitCode: regs[ra].intVal.int)

compiler/vm/vmcompilerserdes.nim

@@ -212,6 +212,16 @@ proc deserializeArray*(
   if hasError:
     result = c.config.wrapError(result)
 
+proc deserializeNimNode*(c: TCtx, n: PNode, formal: PType,
+                         info: TLineInfo): PNode =
+  ## Makes sure `n` (which represent a NimNode value) is valid and turns it
+  ## into a proper NimNode literal.
+  if cyclicTree(n):
+    result = c.config.newError(
+      newNodeIT(nkEmpty, info, formal),
+      PAstDiag(kind: adCyclicTree, cyclic: n))
+  else:
+    result = newTreeIT(nkNimNodeLit, info, formal): n
 
 proc deserialize(c: TCtx, m: VmMemoryRegion, vt: PVmType, formal, t: PType, info: TLineInfo): PNode =
   let
@@ -270,14 +280,7 @@ proc deserialize(c: TCtx, m: VmMemoryRegion, vt: PVmType, formal, t: PType, info
       result = deserializeRef(c, atom.refVal, vt.targetType, formal, t, info)
     else:
       assert vt.kind == akPNode
-
-      if unlikely(cyclicTree(atom.nodeVal)):
-        result = c.config.newError(
-          wrongNode(),
-          PAstDiag(kind: adCyclicTree, cyclic: atom.nodeVal))
-      else:
-        # XXX: not doing a full tree-copy here might lead to issues
-        result = newTreeIT(nkNimNodeLit, info, formal): atom.nodeVal
+      result = deserializeNimNode(c, atom.nodeVal, formal, info)
 
   of tyProc:
     case t.callConv

tests/lang_callable/macros/tstatic_nim_node_parameter.nim

@@ -0,0 +1,14 @@
+discard """
+  description: '''
+    Ensure that a NimNode can be passed as a static parameter to a macro.
+  '''
+  action: compile
+"""
+
+import std/macros
+
+macro m(n: static NimNode) =
+  doAssert n.kind == nnkStmtList
+  doAssert n.len == 0
+
+m(newStmtList())