P3914R0: Re NB US 112-172 (C++26 CD)

Fixes NB US 112-172 (C++26 CD).

Author: eisenwave

source/meta.tex

@@ -6182,7 +6182,8 @@
   and the cv-unqualified types of \tcode{T} and \tcode{U} are the same,
 \item
   \tcode{U} is an array type,
-  \tcode{T} is a pointer type, and
+  \tcode{T} is a pointer type,
+  \tcode{remove_extent_t<U>*} and \tcode{T} are similar types, and
   the value \tcode{r} represents is convertible to \tcode{T}, or
 \item
   \tcode{U} is a closure type,