diff options
| author | 2026-10-15 15:02:33 +0330 | |
|---|---|---|
| committer | 2026-10-15 15:02:33 +0330 | |
| commit | 0c047b14a6488c4bda405cead225b7a700647c1a (patch) | |
| tree | e34415841ca1c9b5c584976b06438ab13e4c6e26 /tests/errors/alias_scope.zc | |
| parent | analyzer: a .u (declared or inferred) function can't return a borrowed parame... (diff) | |
tests: alias_scope expects the block-end message; plain_return now covers a forwarding owned return called early; direct owned return before its body is accepted
Diffstat (limited to 'tests/errors/alias_scope.zc')
| -rw-r--r-- | tests/errors/alias_scope.zc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/errors/alias_scope.zc b/tests/errors/alias_scope.zc index b52bfa8..ee56075 100644 --- a/tests/errors/alias_scope.zc +++ b/tests/errors/alias_scope.zc @@ -1,7 +1,7 @@ namespace; include rt; -// expect: q: used after it was given away +// expect: q: borrows from p, which was freed at the end of its block fn main() { let q; { let p = rt.new(2); q = p + 0; } |
