llvm/clang/test/CXX/dcl.decl/dcl.meaning/p1.cpp

// RUN: %clang_cc1 -fsyntax-only -verify %s

namespace PR8019 {
  struct x;
  template<typename T> struct x2;
  struct y { 
    struct PR8019::x { int x; };  // expected-error{{non-friend class member 'x' cannot have a qualified name}}
  
    struct inner;
    struct y::inner { }; // expected-error{{extra qualification on member 'inner'}}

    template<typename T>
    struct PR8019::x2 { }; // expected-error{{non-friend class member 'x2' cannot have a qualified name}}

    template<typename T>
    struct inner_template;
  
    template<typename T>
    struct y::inner_template { }; // expected-error{{extra qualification on member 'inner_template'}}
  };

}

namespace NS {
  void foo();
  extern int bar;
  struct X;
  template<typename T> struct Y;
  template<typename T> void wibble(T);
  struct Z;
}
namespace NS {
  // Under DR482, these are all valid, except for forward-declaring a struct
  // with a nested-name-specifier.
  void NS::foo(); // expected-warning {{extra qualification}}
  extern int NS::bar; // expected-warning {{extra qualification}}
  struct NS::X; // expected-error {{forward declaration of struct cannot have a nested name specifier}} expected-warning {{extra qualification}}
  template<typename T> struct NS::Y; // expected-error {{forward declaration of struct cannot have a nested name specifier}} expected-warning {{extra qualification}}
  template<typename T> void NS::wibble(T); // expected-warning {{extra qualification}}

  void NS::foo() {} // expected-warning{{extra qualification on member 'foo'}}
  int NS::bar; // expected-warning{{extra qualification on member 'bar'}}
  struct NS::X { }; // expected-warning{{extra qualification on member 'X'}}
  template<typename T> struct NS::Y { }; // expected-warning{{extra qualification on member 'Y'}}
  template<typename T> void NS::wibble(T) { } // expected-warning{{extra qualification on member 'wibble'}}
}

struct ::{} a; // expected-error{{expected identifier}}
struct NS::Z:: {} b; // expected-error{{expected identifier}}