gcc/testsuite/g++.dg/concepts/refine-errors1.C

   1 // { dg-options "-std=c++0x" }
   2 // Check for error messages regarding ill-formed refinements
   3
   4 concept C<typename T> : C<T*> { } // { dg-error "recursive" }
   5 concept D<typename T> : C<int> { } // { dg-error "concept parameters" }
   6
   7 template<typename T> class Class { };
   8 concept E<typename T> : Class<T> { }; // { dg-error "does not refer to a concept" }
   9
  10 concept F<typename... Args> : C<Args> { } // { dg-error "not expanded|Args" }