gcc/testsuite/g++.dg/concepts/intro5.C


1
2
3
4
5
6
7
8
9
10
11

// { dg-do compile { target c++17_only } }
// { dg-options "-fconcepts-ts" }

template<typename T, typename U = int>
  concept bool C()
  {
     return sizeof(U) == sizeof(int);
  }

C{A} void f1() {} // { dg-error "all template parameters" }