pub trait Destruct { }
const_trait_impl
A marker for types that can be dropped.
This should be used for ~const bounds, as non-const bounds will always hold for every type.
~const