gcc/testsuite/g++.dg/concepts/class-deduction1.C

   1 // { dg-do compile { target c++17_only } }
   2 // { dg-options "-fconcepts-ts" }
   3
   4 template <class T>
   5 concept bool Isint = __is_same_as(T,int);
   6
   7 template <class T>
   8 struct A
   9 {
  10   int i;
  11   A(...);
  12 };
  13
  14 template <Isint I>
  15 A(I) -> A<I>;
  16
  17 A a(1);
  18 A a2(1.0);                      // { dg-error "" }