gcc/testsuite/g++.dg/cpp2a/concepts-requires26.C

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

template<class T,
	 bool = requires { typename T::type; }>
struct p { using type = void; };

template<class T>
struct p<T, true> { using type = typename T::type; };

template<class T> using P = typename p<T>::type;

using type1 = P<int>;
using type1 = void;

struct A { using type = char; };
using type2 = P<A>;
using type2 = char;