blob: 28be9e9e0ea4a09c7f158a41da7bf050b7fa4220 (
plain)
1
2
3
4
5
6
7
8
9
10
|
// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts-ts" }
template<typename X, typename Y = X>
concept bool HasBinaryAdd = requires(X x, Y y)
{
{x + y} -> decltype(x + y);
};
void proc(HasBinaryAdd x, HasBinaryAdd y);
|