Don't try to forbid overloaded & in Destructible

[CaseyCarter]

Per LWG Kona consensus.

Proposed Resolution

(Relative to P0547R0) Change [concepts.lib.object.destructible] as follows:

template <class T>
concept bool Destructible() {
+ return is_nothrow_destructible<T>::value; // see below
- return is_nothrow_destructible<T>::value && // see below
-   requires(T& t, const remove_reference_t<T>& ct) {
-     { &t } -> Same<remove_reference_t<T>*>&&; // not required to be equality preserving
-     { &ct } -> Same<const remove_reference_t<T>*>&&; // not required to be equality preserving
-   };
}

Strike [concepts.lib.object.destructible]/p2 ("The expression requirement &ct ...") and [concepts.lib.object.destructible]/p3 ("n a (possibly const) lvalue t of type...").

[ericniebler]

@CaseyCarter for your review.