gcc/testsuite/g++.dg/concepts/inherit-ctor1.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool C() { return __is_class(T); }
   5
   6 template<typename T>
   7   struct S1 { S1(double) requires C<T>() { } };
   8
   9 struct S2 : S1<int> {
  10   using S1<int>::S1;
  11 };
  12
  13 template<typename T>
  14   struct S3 : S1<T> {
  15     using S1<T>::S1;
  16   };
  17
  18 struct X { };
  19
  20 int main() {
  21   S3<X> s(0.0);
  22 }