Tracking Issue for `PinCoerceUnsized`

[Darksonn]

Feature gate: #![feature(pin_coerce_unsized_trait)]

This is a tracking issue for PinCoerceUnsized, which is an unsafe trait that determines whether unsizing coercions are possible when the given type is pinned.

Public API

/// # Safety
/// The impl of `Deref`/`DerefMut` for this type is not malicious.
pub unsafe trait PinCoerceUnsized: Deref {}

impl<Ptr, U> CoerceUnsized<Pin<U>> for Pin<Ptr>
where
    Ptr: CoerceUnsized<U> + PinCoerceUnsized,
    U: PinCoerceUnsized,
{}

impl<T: ?Sized> PinCoerceUnsized for &'_ T {}
impl<T: ?Sized> PinCoerceUnsized for &'_ mut T {}
impl<T: ?Sized> PinCoerceUnsized for Box<T> {}
impl<T: ?Sized> PinCoerceUnsized for Rc<T> {}
impl<T: ?Sized> PinCoerceUnsized for Arc<T> {}
// and more

Steps

• Implementation
• Stabilize CoerceUnsized first
• Stabilization PR (see instructions on rustc-dev-guide)

Unresolved Questions

• Decide whether PinCoerceUnsized is the correct solution to Pin is unsound due to transitive effects of CoerceUnsized #68015

Implementation history

• PinCoerceUnsized trait into core #125048
• Remove impl PinCoerceUnsized for Pin #144896
• Make PinCoerceUnsized require Deref #149218
• Update tracking issue for PinCoerceUnsized #150113