gcc/testsuite/g++.dg/concepts/parse2.C

   1 // { dg-options "-std=c++0x" }
   2 // Check parsing of concepts with refinement clauses
   3 concept C1<typename T> { }
   4 concept C2<typename T> : C1<T> { };
   5 concept C3<typename T> { }
   6 concept C4<typename T> : C1<T>, C2<T> { };
   7
   8 namespace N1 {
   9   concept C1<typename T> { }
  10   namespace Inner {
  11     concept C2<typename T> { }
  12   }
  13 }
  14
  15 namespace N2 {
  16   namespace Inner { }
  17
  18   concept D<typename T> : C1<T>, N1::C1<T>, ::N1::Inner::C2<T>, ::C3<T> { }
  19 }