// 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