Static generic parameter does not work in param type scopes in procs

[ASVIEST]

Description

proc test[x: static bool](
  t: (
    when x:
      int
    else:
      float
     )
) = discard

Nim Version

Nim Compiler Version 2.1.1 [Linux: amd64]
Compiled at 2023-08-09
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: d136af0
active boot switches: -d:release

Nim Compiler Version 2.1.1 [Linux: amd64]
Compiled at 2023-08-31
Copyright (c) 2006-2023 by Andreas Rumpf

git hash: b3912c2
active boot switches: -d:release

Current Output

Error: cannot generate code for: x

Expected Output

No response

Possible Solution

No response

Additional Information

No response

[github-actions]

@ASVIEST (none)

devel 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:13
• Finished 2023-08-31T18:20:13
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

stable 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:13
• Finished 2023-08-31T18:20:14
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

2.0.0 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:14
• Finished 2023-08-31T18:20:14
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

1.6.0 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:17
• Finished 2023-08-31T18:20:18
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

1.4.0 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:20
• Finished 2023-08-31T18:20:21
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

1.2.0 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:36
• Finished 2023-08-31T18:20:36
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

1.0.0 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:49
• Finished 2023-08-31T18:20:50
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

0.20.2 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
/home/runner/work/Nim/Nim/temp.nim(3, 10) Error: cannot generate code for: x

Stats

• Started 2023-08-31T18:20:58
• Finished 2023-08-31T18:20:59
• Duration

IR

Compiled filesize 0 bytes (0 bytes)

AST

nnkStmtList.newTree(
  nnkProcDef.newTree(
    newIdentNode("test"),
    newEmptyNode(),
    nnkGenericParams.newTree(
      nnkIdentDefs.newTree(
        newIdentNode("x"),
        nnkCommand.newTree(
          newIdentNode("static"),
          newIdentNode("bool")
        ),
        newEmptyNode()
      )
    ),
    nnkFormalParams.newTree(
      newEmptyNode(),
      nnkIdentDefs.newTree(
        newIdentNode("t"),
        nnkPar.newTree(
          nnkWhenStmt.newTree(
            nnkElifExpr.newTree(
              newIdentNode("x"),
              nnkStmtList.newTree(
                newIdentNode("int")
              )
            ),
            nnkElseExpr.newTree(
              nnkStmtList.newTree(
                newIdentNode("float")
              )
            )
          )
        ),
        newEmptyNode()
      )
    ),
    newEmptyNode(),
    newEmptyNode(),
    nnkStmtList.newTree(
      nnkDiscardStmt.newTree(
        newEmptyNode()
      )
    )
  )
)

Stats

• GCC 11.4.0
• LibC 2.35
• Valgrind 3.18.1
• NodeJS 17.1
• Linux 5.15.0
• Created 2023-08-31T18:19:37Z
• Comments 1
• Commands nim c --run -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --warnings:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim

🤖 Bug found in 49 minutes bisecting 8 commits at 0 commits per second.

[metagn]

Unfortunate workaround:

template foo(x): untyped = x
type T[x: static bool] = foo(when x: int else: float)
proc test[x: static bool](
  t: T[x]
) = discard

Really tempted to add the untyped escape hatch removed from #22029 that would make this as simple as untyped(when x: int else: float)

Related #22342