From 0a87c4663fc52bf60f3d440200b3b3ad6b39bd3e Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 09:48:10 +0330 Subject: analyzer: use-after-end messages name the borrower, the owner and how the owner ended (freed, moved, .d parameter, push, global, reassignment), with fixtures --- tests/errors/use_after_inferred_give.zc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tests/errors/use_after_inferred_give.zc') diff --git a/tests/errors/use_after_inferred_give.zc b/tests/errors/use_after_inferred_give.zc index 19841cb..e393c29 100644 --- a/tests/errors/use_after_inferred_give.zc +++ b/tests/errors/use_after_inferred_give.zc @@ -1,6 +1,6 @@ namespace; include rt; -// expect: x: used after it was given away; owner x was transferred on line 6 (declared on line 6) +// expect: x: used after it was given away; x was given to take's .d parameter on line 6 (declared on line 6) fn take(.d p) { return p[0]; } fn main() { let x = rt.new(3); take(x); return x[0]; } -- cgit v1.2.3