LWG3655 The INVOKE operation and union types

Author: burblebee

source/utilities.tex

@@ -10641,7 +10641,9 @@
 \begin{itemize}
 \item \tcode{(t$_1$.*f)(t$_2$, $\dotsc$, t$_N$)} when \tcode{f} is a pointer to a
 member function of a class \tcode{T}
-and \tcode{is_base_of_v<T, remove_reference_t<decltype(t$_1$)>>} is \tcode{true};
+and
+\tcode{is_same_v<T, remove_cvref_t<decltype(t1)>> ||}
+\tcode{is_base_of_v<T, remove_cvref_t<decltype(t$_1$)>>} is \tcode{true};
 
 \item \tcode{(t$_1$.get().*f)(t$_2$, $\dotsc$, t$_N$)} when \tcode{f} is a pointer to a
 member function of a class \tcode{T}
@@ -10653,7 +10655,9 @@
 
 \item \tcode{t$_1$.*f} when $N = 1$ and \tcode{f} is a pointer to
 data member of a class \tcode{T}
-and \tcode{is_base_of_v<T, remove_reference_t<decltype(t$_1$)>>} is \tcode{true};
+and
+\tcode{is_same_v<T, remove_cvref_t<decltype(t1)>> ||}
+\tcode{is_base_of_v<T, remove_cvref_t<decltype(t$_1$)>>} is \tcode{true};
 
 \item \tcode{t$_1$.get().*f} when $N = 1$ and \tcode{f} is a pointer to
 data member of a class \tcode{T}