gcc/testsuite/g++.dg/cpp2a/concepts-partial-spec12.C


1
2
3
4
5
6
7
8
9
10

// PR c++/96363
// { dg-do compile { target c++20 } }

template<class T> class TPL;

template<class T> requires true  class TPL<T>;   // #1
template<class T> requires false class TPL<T>;   // #2 error here

template<class T> requires true  class TPL<T*>;  // #1
template<class T> requires false class TPL<T*>;  // #2 error here