gcc/testsuite/g++.dg/concepts/partial-concept-id2.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// { dg-do compile { target c++17_only } }
// { 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;