static uint64 at compileTime: 'intVal' is not accessible using discriminant 'kind' of type 'TFullReg' [FieldDefect]

[mratsim]

static uint64 parameter cannot be accessed in a VM context they raise the error

'intVal' is not accessible using discriminant 'kind' of type 'TFullReg' [FieldDefect]

Test case:

const foo_m0ninv = 0x1234'u64

proc foo(m0ninv: static uint64) =
  echo m0ninv

static: # Execute in a VM context
  foo(foo_m0ninv)

Tracing the bug, the crash happens line 450 of vm.nim:

Nim/compiler/vm.nim

Lines 441 to 453 in 32083c7

	of tyUInt..tyUInt64:
	dest.ensureKind(rkInt)
	case skipTypes(srctyp, abstractRange).kind
	of tyFloat..tyFloat64:
	dest.intVal = int(src.floatVal)
	else:
	let srcDist = (sizeof(src.intVal) - srctyp.size) * 8
	let destDist = (sizeof(dest.intVal) - desttyp.size) * 8
	var value = cast[BiggestUInt](src.intVal)
	value = (value shl srcDist) shr srcDist
	value = (value shl destDist) shr destDist
	dest.intVal = cast[BiggestInt](value)

At that point we have a rkNode instead of a rkInt and we crash.

This prevents me from using the same code for both runtime and compile-time (i.e. I need to dispatch with when nimvm)

I also suspect that it's linked to the nimsuggest crashed mentioned by @alaviss here alaviss/nim.nvim#18 (comment)

[cooldome]

works as expected now

[narimiran]

works as expected now

For me it produces the same thing as reported in the original report:

Error: unhandled exception: 'intVal' is not accessible using discriminant 'kind' of type 'TFullReg' [FieldDefect]

[timotheecour]

@cooldome please always write git hash instead of now, works as expected now is very vague.

I'm fixing this here: #17590