blob: 353937b060cff97106ddc92d7fa63678bfb85978 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
// PR c++/92582
// { dg-do compile { target concepts } }
template <class a, class> concept b = true;
template <typename> struct A {
template <typename c> static constexpr bool d = b<c, int>;
template <typename c> static void f(c) requires d<c>;
};
int main()
{
A<void>::f(0);
}
|