diff options
| author | ringabout <43030857+ringabout@users.noreply.github.com> | 2024-08-30 22:08:59 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-30 16:08:59 +0200 |
| commit | 11ead19bc1c811f8733637d8be44833803d0a0af (patch) | |
| tree | 916d7fabcb8cc7f1a5769c765d505c6f25f5c3fe | |
| parent | aa0d8e9cfee7b15f80bd147b9bcf626012abb093 (diff) | |
| download | Nim-11ead19bc1c811f8733637d8be44833803d0a0af.tar.gz | |
fixes #24034; fixes lent types after taking implicit address (#24035)
fixes #24034
| -rw-r--r-- | compiler/semexprs.nim | 2 | ||||
| -rw-r--r-- | tests/lent/tlent_from_var.nim | 19 |
2 files changed, 21 insertions, 0 deletions
diff --git a/compiler/semexprs.nim b/compiler/semexprs.nim index 91e318a63..1b73b9b20 100644 --- a/compiler/semexprs.nim +++ b/compiler/semexprs.nim @@ -1879,6 +1879,8 @@ proc takeImplicitAddr(c: PContext, n: PNode; isLent: bool): PNode = else: localError(c.config, n.info, errExprHasNoAddress) result = newNodeIT(nkHiddenAddr, n.info, if n.typ.kind in {tyVar, tyLent}: n.typ else: makePtrType(c, n.typ)) + if n.typ.kind in {tyVar, tyLent}: + n.typ = n.typ.elementType result.add(n) proc asgnToResultVar(c: PContext, n, le, ri: PNode) {.inline.} = diff --git a/tests/lent/tlent_from_var.nim b/tests/lent/tlent_from_var.nim index 8cf65e286..1fb3d0c17 100644 --- a/tests/lent/tlent_from_var.nim +++ b/tests/lent/tlent_from_var.nim @@ -86,3 +86,22 @@ block: # bug #23454 for (a, _) in instance: case a of A: discard + +block: # bug #24034 + type T = object + v: array[100, byte] + + + iterator pairs(t: T): (int, lent array[100, byte]) = + yield (0, t.v) + + + block: + for a, b in default(T): + doAssert a == 0 + doAssert b.len == 100 + + block: + for (a, b) in pairs(default(T)): + doAssert a == 0 + doAssert b.len == 100 |