mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-01-07 13:33:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixes #11114

Browse Source
This commit is contained in:
Araq
2019-05-02 08:51:37 +02:00
parent 43749c4cb8
commit 1ff2b021a5
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/semexprs.nim
View File

@@ -1527,11 +1527,15 @@ proc asgnToResultVar(c: PContext, n, le, ri: PNode) {.inline.} =
#echo x.info, " setting it for this type ", typeToString(x.typ), " ", n.info
proc asgnToResult(c: PContext, n, le, ri: PNode) =
proc scopedLifetime(c: PContext; ri: PNode): bool {.inline.} =
result = (ri.kind in nkCallKinds+{nkObjConstr}) or
(ri.kind == nkSym and ri.sym.owner == c.p.owner)
# Special typing rule: do not allow to pass 'owned T' to 'T' in 'result = x':
const absInst = abstractInst - {tyOwned}
if ri.typ != nil and ri.typ.skipTypes(absInst).kind == tyOwned and
le.typ != nil and le.typ.skipTypes(absInst).kind != tyOwned and
ri.kind in nkCallKinds+{nkObjConstr}:
scopedLifetime(c, ri):
localError(c.config, n.info, "cannot return an owned pointer as an unowned pointer; " &
"use 'owned(" & typeToString(le.typ) & ")' as the return type")