#![feature(negative_impls)] breaks the guarantee for Unpin provided by pin-project #340
Labels
A-unpin
Area: Unpin and UnsafeUnpin
C-upstream-bug
Category: This is a bug of compiler or dependencies (the fix may require action in the upstream)
I-unsound
A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness
requires-nightly
This issue requires a nightly compiler in some way
pin-project provides an appropriate Unpin implementation by default. Since overlapping implementations are prohibited, this ensures that users cannot add inappropriate Unpin implementations.
However, currently, this guarantee can be broken by using
#[feature(negative_impls)]
: playgroundThanks @danielhenrymantilla for pointing out the interaction with this feature.
The text was updated successfully, but these errors were encountered: