blob: 31924f930a7029ab198f8ad8c8fc1d723eb16f0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// { dg-options "-std=c++1z -fconcepts" }
template<typename T, typename U = int>
concept bool C()
{
return sizeof(U) == sizeof(int);
}
C{A} void f1() {}
int main()
{
f1<char>();
return 0;
}
|