2 Checks for empty `Drop` implementations.
5 Empty `Drop` implementations have no effect when dropping an instance of the type. They are
6 most likely useless. However, an empty `Drop` implementation prevents a type from being
7 destructured, which might be the intention behind adding the implementation as a marker.