clang/test/SemaTemplate/ms-class-specialization-class-scope.cpp

   1 // RUN: %clang_cc1 -fms-extensions -fsyntax-only -verify %s -Wno-microsoft
   2 // RUN: %clang_cc1 -fms-extensions -fdelayed-template-parsing -fsyntax-only -verify %s -Wno-microsoft
   3
   4 class A {
   5 public:
   6   template<typename T> struct X { typedef int x; };
   7
   8   X<int>::x a; // expected-note {{implicit instantiation first required here}}
   9
  10   template<> struct X<int>; // expected-error {{explicit specialization of 'A::X<int>' after instantiation}}
  11   template<> struct X<char>; // expected-note {{forward declaration}}
  12
  13   X<char>::x b; // expected-error {{incomplete type 'A::X<char>' named in nested name specifier}}
  14
  15   template<> struct X<double> {
  16     typedef int y;
  17   };
  18
  19   X<double>::y c;
  20
  21   template<> struct X<float> {}; // expected-note {{previous definition is here}}
  22   template<> struct X<float> {}; // expected-error {{redefinition of 'X<float>'}}
  23 };
  24
  25 A::X<void>::x axv;
  26 A::X<float>::x axf; // expected-error {{no type named 'x'}}
  27
  28 template<class T> class B {
  29 public:
  30   template<typename U> struct X { typedef int x; };
  31
  32   typename X<int>::x a; // expected-note {{implicit instantiation first required here}}
  33
  34   template<> struct X<int>; // expected-error {{explicit specialization of 'X<int>' after instantiation}}
  35   template<> struct X<char>; // expected-note {{forward declaration}}
  36
  37   typename X<char>::x b; // expected-error {{incomplete type 'B<float>::X<char>' named in nested name specifier}}
  38
  39   template<> struct X<double> {
  40     typedef int y;
  41   };
  42
  43   typename X<double>::y c;
  44
  45   template<> struct X<float> {}; // expected-note {{previous definition is here}}
  46   template<> struct X<T> {}; // expected-error {{redefinition of 'X<float>'}}
  47 };
  48
  49 B<float> b; // expected-note {{in instantiation of}}