mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-01-05 04:27:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixes #25127; disable lent types as object fields in returns (#25189)

Browse Source 
fixes #25127
This commit is contained in:
ringabout
2025-09-23 19:04:27 +08:00
committed by GitHub
parent 6938fce40c
commit d85c0324b7
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/typeallowed.nim
View File

@@ -18,7 +18,8 @@ when defined(nimPreviewSlimSystem):
type
TTypeAllowedFlag* = enum
taField,
taTupField, # field of a tuple
taObjField, # field of an object
taHeap,
taConcept,
taIsOpenArray,
@@ -69,8 +70,8 @@ proc typeAllowedAux(marker: var IntSet, typ: PType, kind: TSymKind,
result = t
elif taIsOpenArray in flags:
result = t
elif t.kind == tyLent and ((kind != skResult and views notin c.features) or
(kind == skParam and {taIsCastable, taField} * flags == {})): # lent cannot be used as parameters.
elif t.kind == tyLent and (((kind != skResult or taObjField in flags) and views notin c.features) or
(kind == skParam and {taIsCastable, taObjField, taTupField} * flags == {})): # lent cannot be used as parameters.
# except in the cast environment and as the field of an object
result = t
elif isOutParam(t) and kind != skParam:
@@ -187,12 +188,12 @@ proc typeAllowedAux(marker: var IntSet, typ: PType, kind: TSymKind,
t.baseClass != nil and taIsDefaultField notin flags:
result = t
else:
let flags = flags+{taField, taVoid}
let flags = flags+{taObjField, taVoid}
result = typeAllowedAux(marker, t.baseClass, kind, c, flags)
if result.isNil and t.n != nil:
result = typeAllowedNode(marker, t.n, kind, c, flags)
of tyTuple:
let flags = flags+{taField, taVoid}
let flags = flags+{taTupField, taVoid}
for a in t.kids:
result = typeAllowedAux(marker, a, kind, c, flags)
if result != nil: break