.compileTime proc with `static` argument is not folded

[metagn]

Description

block:
  proc foo(x: int): int {.compileTime.} = x + 1
  echo foo(123) # works
block:
  proc foo(x: static int): int {.compileTime.} = x + 1
  echo foo(123) # fails

Nim Version

b97d603

Current Output

(6, 8) Error: request to generate code for .compileTime proc: foo

Expected Output

124

Possible Solution

No response

Additional Information

No response

[metagn]

Apparently #10753