blob: e51894bb1c02f71de16046d8bbb6cdf005a52153 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// { dg-do compile { target c++17 } }
// { dg-options "-fconcepts" }
// Make sure that we check partial concept ids
// with variable concepts.
template<class A, class B>
concept bool C = true;
template<C<int> D>
struct E
{
int f = 0;
};
E<double> e;
|