Currently `Opaquable` trait is error prone, because it may allow `!Send` type to be opaqued down to a `Send` box. This is an equivalent of a soundness hole.
Currently
Opaquabletrait is error prone, because it may allow!Sendtype to be opaqued down to aSendbox. This is an equivalent of a soundness hole.