| // PR c++/96363 | |
| // { dg-do compile { target c++20 } } | |
| // A version of concepts-partial-spec12.C where the primary template is | |
| // constrained. | |
| template<class T> concept C = true; | |
| template<C T> class TPL; | |
| template<C T> requires true class TPL<T>; // #1 | |
| template<C T> requires false class TPL<T>; // #2 error here | |
| template<C T> requires true class TPL<T*>; // #1 | |
| template<C T> requires false class TPL<T*>; // #2 error here |