fixup! make dedicated unit-test

Author: Michael137

clang/test/CXX/drs/cwg6xx.cpp

@@ -1257,12 +1257,6 @@ namespace cwg686 { // cwg686: 3.0
     // cxx98-14-error@-1 {{'Q' cannot be defined in a type specifier}}
 #endif
   }
-  int f2(int, double) {
-    struct N {
-      operator struct O{}(){};
-      // expected-error@-1 {{'cwg686::f2(int, double)::N::O' cannot be defined in a type specifier}}
-    };
-  }
   template<struct R *> struct X;
   template<struct R {} *> struct Y;
   // expected-error@-1 {{'cwg686::R' cannot be defined in a type specifier}}

clang/unittests/AST/TypePrinterTest.cpp

@@ -295,3 +295,49 @@ TEST(TypePrinter, TemplateArgumentsSubstitution_Expressions) {
         Ctx, Arg, Param, ArgList.asArray(), Params->getDepth()));
   }
 }
+
+TEST(TypePrinter, NestedNameSpecifiers) {
+  constexpr char Code[] = R"cpp(
+    void level1() {
+      struct Inner {
+        Inner(int) {
+          struct {
+            union {} u;
+          } imem;
+        }
+      };
+    }
+  )cpp";
+
+  // Types scoped immediately inside a function don't print the function name in
+  // their scope.
+  ASSERT_TRUE(PrintedTypeMatches(
+      Code, {}, varDecl(hasName("imem"), hasType(qualType().bind("id"))),
+      "struct (unnamed)", [](PrintingPolicy &Policy) {
+        Policy.FullyQualifiedName = true;
+        Policy.AnonymousTagLocations = false;
+      }));
+
+  ASSERT_TRUE(PrintedTypeMatches(
+      Code, {}, varDecl(hasName("imem"), hasType(qualType().bind("id"))),
+      "struct (unnamed)", [](PrintingPolicy &Policy) {
+        Policy.FullyQualifiedName = false;
+        Policy.AnonymousTagLocations = false;
+      }));
+
+  // Further levels of nesting print the entire scope.
+  ASSERT_TRUE(PrintedTypeMatches(
+      Code, {}, fieldDecl(hasName("u"), hasType(qualType().bind("id"))),
+      "union level1()::Inner::Inner(int)::(anonymous struct)::(unnamed)",
+      [](PrintingPolicy &Policy) {
+        Policy.FullyQualifiedName = true;
+        Policy.AnonymousTagLocations = false;
+      }));
+
+  ASSERT_TRUE(PrintedTypeMatches(
+      Code, {}, fieldDecl(hasName("u"), hasType(qualType().bind("id"))),
+      "union (unnamed)", [](PrintingPolicy &Policy) {
+        Policy.FullyQualifiedName = false;
+        Policy.AnonymousTagLocations = false;
+      }));
+}