gcc/testsuite/g++.dg/concepts/partial-spec.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 // Check that constraints don't break unconstrained partial
   4 // specializations.
   5
   6 template<typename T>
   7   struct S { };
   8
   9 template<typename T>
  10   struct S<T*> { };
  11
  12 template<>
  13   struct S<int> { };
  14
  15 int main() { }