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