// { dg-additional-options "-std=c++2a -fmodules-ts" } | |
export module foo; | |
// { dg-module-cmi foo } | |
export template<typename T> | |
struct traits | |
{ | |
template<typename U> | |
struct nested | |
{ using type = void; }; | |
template<typename U> requires requires { typename U::type; } | |
struct nested<U> | |
{ using type = typename U::type; }; | |
}; | |
export using V = traits<char>::nested<int>::type; | |