The Pin unsoundness and `CoerceUnsized`

It doesn't obviate the need for negative impls. To quote myself from the original thread:

4 Likes