(root)/
gcc-13.2.0/
gcc/
testsuite/
g++.dg/
cpp2a/
concepts-partial-spec12.C
// 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