--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-memtmpl2.C	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,15 @@
+// { dg-do compile { target concepts } }
+
+template <class T, class U> concept NotSame = !__is_same_as (T, U);
+
+template <class T, class X>
+struct A
+{
+  template <NotSame<A> U> void f(U) { }
+  template <class U> void f(U);
+};
+
+int main()
+{
+  A<int,int>().f<char>(0);
+}