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