`internal error: getTypeDescAux` with `void` in generic array instantiation #23419

arnetheduck · 2024-03-18T16:59:57Z

Description

import sequtils

type F[T, E] = object
  dummy: array[0, E]

proc stop(v: int): F[void, void] = discard

var b = mapIt([1, 2, 3], stop(it))

Nim Version

1.6, devel

Current Output

Error: internal error: getTypeDescAux(tyVoid)

Expected Output

No response

Possible Solution

No response

Additional Information

No response

The text was updated successfully, but these errors were encountered:

beef331 · 2024-03-18T17:09:31Z

Min repro

var a: (array[0, void], )

juancarlospaco · 2024-03-31T16:50:00Z

!nim c

var a: (array[0, void], )

github-actions · 2024-03-31T16:50:38Z

🐧 Linux bisect by @juancarlospaco (collaborator)

devel 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
assertions.nim(34)       raiseAssert
Error: unhandled exception: errInternal [AssertionDefect]

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:26
Finished 2024-03-31T16:50:26
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

stable 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
assertions.nim(34)       raiseAssert
Error: unhandled exception: options.nim(681, 5) `false` errInternal [AssertionDefect]

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:26
Finished 2024-03-31T16:50:27
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

2.0.2 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
assertions.nim(34)       raiseAssert
Error: unhandled exception: options.nim(681, 5) `false` errInternal [AssertionDefect]

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:27
Finished 2024-03-31T16:50:27
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

1.6.14 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
fatal.nim(54)            sysFatal
Error: unhandled exception: options.nim(645, 14) `false` errInternal [AssertionDefect]

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:30
Finished 2024-03-31T16:50:30
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

1.4.8 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
No stack traceback available
To create a stacktrace, rerun compilation with './koch temp c <file>', see https://nim-lang.github.io/Nim/intern.html#debugging-the-compiler for details

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:33
Finished 2024-03-31T16:50:33
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

1.2.18 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
No stack traceback available
To create a stacktrace, rerun compilation with ./koch temp c <file>

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:35
Finished 2024-03-31T16:50:35
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

1.0.10 👎 FAIL

Output

Error: Command failed: nim c --run  -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints:off --lineTrace:off --nimcache:/home/runner/work/Nim/Nim --out:/home/runner/work/Nim/Nim/temp /home/runner/work/Nim/Nim/temp.nim
Error: internal error: getTypeDescAux(tyVoid)
No stack traceback available
To create a stacktrace, rerun compilation with ./koch temp c <file>

IR

Compiled filesize 0 bytes (0 bytes)

Stats

Started 2024-03-31T16:50:37
Finished 2024-03-31T16:50:37
Duration

AST

nnkStmtList.newTree(
  nnkVarSection.newTree(
    nnkIdentDefs.newTree(
      newIdentNode("a"),
      nnkTupleConstr.newTree(
        nnkBracketExpr.newTree(
          newIdentNode("array"),
          newLit(0),
          newIdentNode("void")
        )
      ),
      newEmptyNode()
    )
  )
)

Stats

GCC 11.4.0
Clang 14.0.0
NodeJS 19.1
Created 2024-03-31T16:50:00Z
Comments 2
Commands nim c --run -d:nimDebug -d:nimDebugDlOpen -d:ssl -d:nimDisableCertificateValidation --forceBuild:on --colors:off --verbosity:0 --hints: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 15 minutes bisecting 7 commits at 0 commits per second

litlighilit · 2024-04-04T16:00:23Z

An array of void type is just not allowed¹,

so the only thing that shall be improved is the error message.

array[0, void] will gives Error: invalid type: 'void' in this context: 'array[0, void]', that's, the code above is invalid. ↩

…#23550) fixes #23419 `void` is only supported as fields of objects/tuples. It shouldn't allow void in the array. I didn't merge it with taField because that flag is also used for tyLent, which is allowed in the fields of other types.

…#23550) fixes #23419 `void` is only supported as fields of objects/tuples. It shouldn't allow void in the array. I didn't merge it with taField because that flag is also used for tyLent, which is allowed in the fields of other types. (cherry picked from commit 185e06c)

arnetheduck mentioned this issue Mar 27, 2024

Invalid generic type deduction with distinct, static #23445

Closed

ringabout self-assigned this Apr 30, 2024

ringabout added Status Error Messages labels Apr 30, 2024

ringabout added a commit that referenced this issue Apr 30, 2024

fixes #23419; internal error with void in generic array instantiation

4e6239d

ringabout mentioned this issue Apr 30, 2024

fixes #23419; internal error with void in generic array instantiation #23550

Merged

arnetheduck mentioned this issue May 1, 2024

Allow array[..., void] #23555

Open

Araq closed this as completed in #23550 May 1, 2024

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

`internal error: getTypeDescAux` with `void` in generic array instantiation #23419

`internal error: getTypeDescAux` with `void` in generic array instantiation #23419

arnetheduck commented Mar 18, 2024

beef331 commented Mar 18, 2024

juancarlospaco commented Mar 31, 2024

github-actions bot commented Mar 31, 2024

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

litlighilit commented Apr 4, 2024

internal error: getTypeDescAux with void in generic array instantiation #23419

internal error: getTypeDescAux with void in generic array instantiation #23419

Comments

arnetheduck commented Mar 18, 2024

Description

Nim Version

Current Output

Expected Output

Possible Solution

Additional Information

beef331 commented Mar 18, 2024

juancarlospaco commented Mar 31, 2024

github-actions bot commented Mar 31, 2024

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

Output

IR

Stats

AST

litlighilit commented Apr 4, 2024

Footnotes

`internal error: getTypeDescAux` with `void` in generic array instantiation #23419

`internal error: getTypeDescAux` with `void` in generic array instantiation #23419