gcc/testsuite/g++.dg/concepts/inherit-ctor3.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 {
   8     template<C U>
   9       S1(U x) { }
  10   };
  11
  12 template<typename T>
  13   struct S2 : S1<T> {
  14     using S1<T>::S1;
  15   };
  16
  17 struct X { } x;
  18
  19 int main() {
  20   S2<X> s = x;
  21 }