Skip to content

Commit 474389f

Browse files
committed
add open question around naming
1 parent e98f367 commit 474389f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

text/0000-unsafe-aliased.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -457,6 +457,7 @@ Adding something like this to Rust has been discussed many times throughout the
457457
# Unresolved questions
458458
[unresolved-questions]: #unresolved-questions
459459

460+
- Is there a better name than `UnsafePinned` for the type? What about the trait -- `UnsafeUnpin` is awkward. Maybe `Unique` is better?
460461
- How do we transition code that relies on `Unpin` opting-out of aliasing guarantees to the new type? Here's a plan: define the `PhantomPinned` type as `UnsafePinned<()>`.
461462
Places in the standard library that use `impl !Unpin for` and the generator lowering are adjusted to use `UnsafePinned` instead.
462463
Then as long as nobody outside the standard library used the unstable `impl !Unpin for`, switching the `noalias`-opt-out to the `UnsafeUnpin` trait is actually backwards compatible with the (never explicitly supported) `Unpin` hack!

0 commit comments

Comments
 (0)