Negative trait bounds using feature(specialization)

viruscamp:

The reason is that the private supertrait is often paired with a blanket impl<T> private::Sealed for T {} to allow external types to receive the default behavior.

In my experience this is not true.