aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp2a/concepts-nondep3.C
blob: 4aae2871d0c38a282fdc18760898ea6bb9a84f46 (plain)
1
2
3
4
5
6
7
8
9
// DR 2446
// { dg-do compile { target c++20 } }

template <typename T> concept C = true;
template <typename T> struct A;
template <> struct A<bool> { using type = bool; };

template <typename T>
void f(A<decltype(C<T>)>::type); // OK, no 'typename' needed