mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-08-23 15:11:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix #25508; disallow 'void' as a field type

Browse Source
This commit is contained in:
ringabout
2026-02-18 19:36:55 +08:00
parent 1e3caf457b
commit 0693e0207f
1 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/semtypes.nim
View File

@@ -528,7 +528,10 @@ proc semAnonTuple(c: PContext, n: PNode, prev: PType): PType =
result = newOrPrevType(tyTuple, prev, c)
for it in n:
let t = semTypeNode(c, it, nil)
addSonSkipIntLitChecked(c, result, t, it, c.idgen)
if t != nil and t.kind == tyVoid:
localError(c.config, it.info, "'void' is not allowed as a field type")
else:
addSonSkipIntLitChecked(c, result, t, it, c.idgen)
proc firstRange(config: ConfigRef, t: PType): PNode =
if t.skipModifier().kind in tyFloat..tyFloat64:
@@ -565,6 +568,9 @@ proc semTuple(c: PContext, n: PNode, prev: PType): PType =
else:
localError(c.config, a.info, errTypeExpected)
typ = errorType(c)
if typ != nil and typ.kind == tyVoid:
localError(c.config, a.info, "'void' is not allowed as a field type")
typ = errorType(c)
for j in 0..<a.len - 2:
var field = newSymG(skField, a[j], c)
field.typ = typ
@@ -939,6 +945,9 @@ proc semRecordNodeAux(c: PContext, n: PNode, check: var IntSet, pos: var int,
n[^1] = firstRange(c.config, typ)
hasDefaultField = true
propagateToOwner(rectype, typ)
if typ != nil and typ.kind == tyVoid:
localError(c.config, n.info, "'void' is not allowed as a field type")
typ = errorType(c)
var fieldOwner = if c.inGenericContext > 0: c.getCurrOwner
else: rectype.sym
for i in 0..<n.len-2: