LWG3000 monotonic_memory_resource::do_is_equal uses dynamic_cast unnecessarily

Author: Dawn Perchik

source/utilities.tex

@@ -12101,27 +12101,15 @@
 \end{itemdescr}
 
 \indexlibrarymember{do_is_equal}{synchronized_pool_resource}%
-\begin{itemdecl}
-bool synchronized_pool_resource::do_is_equal(
-    const memory_resource& other) const noexcept override;
-\end{itemdecl}
-
-\begin{itemdescr}
-\pnum
-\returns
-\tcode{this == dynamic_cast<const synchronized_pool_resource*>(\&other)}.
-\end{itemdescr}
-
 \indexlibrarymember{do_is_equal}{unsynchronized_pool_resource}%
 \begin{itemdecl}
-bool unsynchronized_pool_resource::do_is_equal(
-    const memory_resource& other) const noexcept override;
+bool do_is_equal(const memory_resource& other) const noexcept override;
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{this == dynamic_cast<const unsynchronized_pool_resource*>(\&other)}.
+\tcode{this == \&other}.
 \end{itemdescr}
 
 \rSec2[mem.res.monotonic.buffer]{Class \tcode{monotonic_buffer_resource}}
@@ -12337,7 +12325,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{this == dynamic_cast<const monotonic_buffer_resource*>(\&other)}.
+\tcode{this == \&other}.
 \end{itemdescr}