For my argument above to work, we basically have to require that doing the unsizing coercion does not change the Deref
/DerefMut
/Clone
impl that will be called. Because if that changes, there is just no way to show the proposed Pin
invariant for the newly coerced pointer.
With that constraint, how could Clone
and CoerceUnsized
cooperate to cause a problem here?