From 497881a3336e76f51e3c34978c9305db3af3af9d Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 09:53:16 +0700 Subject: [PATCH] An into temporary is reclaimed by its region, so its leak is not a gap --- TODO.org | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/TODO.org b/TODO.org index 36059742..fd5e4738 100644 --- a/TODO.org +++ b/TODO.org @@ -925,10 +925,10 @@ A string type carries no length, so there is nothing to compare the bound agains — consistent with a slice of a slice. A missed nicety rather than a hole; the runtime check still catches it. -** TODO An owning temporary as into's source leaks -The macro binds a non-name source to a name the caller cannot reach and cannot -know whether the type owns anything. A call in that position should borrow, and -=drop= is what would close it. +** CANCELLED An owning temporary as into's source leaks +CLOSED: [2026-09-25] +A leak is defined here, and the allocator's region reclaims the temporary the +way it reclaims every other one. Closing it needed =drop=, which is cancelled. ** TODO Notes on the type-mismatch errors The most common error class, and it has no second place to point at, because the