--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-pr60573.C	Thu Feb 13 11:34:05 2020 +0900
@@ -0,0 +1,28 @@
+// PR c++/60573
+// { dg-do compile { target c++14 } }
+// { dg-additional-options "-fconcepts" }
+
+struct A
+{
+  struct B
+  {
+    void foo(auto);
+  };
+
+  void B::foo(auto) {}  // { dg-error "8:cannot define" }
+
+  struct X
+  {
+    struct Y
+    {
+      struct Z
+      {
+        void foo(auto);
+      };
+    };
+
+    void Y::Z::foo(auto) {}  // { dg-error "10:cannot define" }
+  };
+
+  void X::Y::Z::foo(auto) {}  // { dg-error "8:cannot define" }
+};