gcc/testsuite/g++.dg/cpp2a/class-deduction-alias19.C


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

// PR c++/114377
// { dg-do compile { target c++20 } }

template <template <typename> typename Iterator>
struct K {};

template <typename C, typename IteratorPolicy>
class Foo {};

template <typename C, template<typename> typename TTP>
using Bar = Foo<C, K<TTP>>;

void s() {
    Bar(1); // { dg-error "failed|no match" }
}