16 lines
280 B
C++
16 lines
280 B
C++
|
|
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; };
|
|
};
|
|
|
|
using V = traits<char>::nested<int>::type;
|
|
|