Skip to content

Commit 881ade3

Browse files
author
boats
committed
Add unresolved question for leaking.
1 parent 53a6021 commit 881ade3

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

text/0000-pin.md

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -396,4 +396,8 @@ In addition to the future extensions discussed above, the APIs of the three pin
396396
types in std will grow over time as they implement more common conversion
397397
traits and so on.
398398

399-
[stable-deref]: https://crates.io/crates/stable_deref_trait
399+
We may also choose to require that `Pin` uphold stricter guarantees, requiring
400+
that `Unpin` data inside the `Pin` not leak unless the memory remains valid for
401+
the remainder of the program lifetime. This would make the stack API documented
402+
above unsound, but might also enable other APIs to make use of these guarantees
403+
to ensure that a destructor always runs if the memory becomes invalid.

0 commit comments

Comments
 (0)