LWG3354 has_strong_structural_equality has a meaningless definition

Author: zygoloid

source/utilities.tex

@@ -16411,8 +16411,6 @@
 
   template<class T> struct has_unique_object_representations;
 
-  template<class T> struct has_strong_structural_equality;
-
   // \ref{meta.unary.prop.query}, type property queries
   template<class T> struct alignment_of;
   template<class T> struct rank;
@@ -16691,10 +16689,6 @@
     inline constexpr bool has_unique_object_representations_v
       = has_unique_object_representations<T>::value;
 
-  template<class T>
-    inline constexpr bool has_strong_structural_equality_v
-      =  has_strong_structural_equality<T>::value;
-
   // \ref{meta.unary.prop.query}, type property queries
   template<class T>
     inline constexpr size_t @\libglobal{alignment_of_v}@ = alignment_of<T>::value;
@@ -17352,14 +17346,6 @@
   \tcode{T} shall be a complete type, \cv{}~\tcode{void}, or
   an array of unknown bound. \\ \rowsep
 
-\indexlibraryglobal{has_strong_structural_equality}%
-\tcode{template<class T>}\br
-  \tcode{struct has_strong_structural_equality;} &
-  The type \tcode{T} has
-  strong structural equality\iref{class.compare.default}. &
-  \tcode{T} shall be a complete type, \cv{} \tcode{void}, or
-  an array of unknown bound. \\ \rowsep
-
 \end{libreqtab3b}
 
 \pnum