tmp/tmpw2sv5zsx/{from.md → to.md}
RENAMED
|
@@ -8,11 +8,11 @@ template<class T>
|
|
| 8 |
struct ptr-traits-elem // exposition only
|
| 9 |
{ };
|
| 10 |
|
| 11 |
template<class T> requires requires { typename T::element_type; }
|
| 12 |
struct ptr-traits-elem<T>
|
| 13 |
-
{ using type =
|
| 14 |
|
| 15 |
template<template<class...> class SomePointer, class T, class... Args>
|
| 16 |
requires (!requires { typename SomePointer<T, Args...>::element_type; })
|
| 17 |
struct ptr-traits-elem<SomePointer<T, Args...>>
|
| 18 |
{ using type = T; };
|
|
|
|
| 8 |
struct ptr-traits-elem // exposition only
|
| 9 |
{ };
|
| 10 |
|
| 11 |
template<class T> requires requires { typename T::element_type; }
|
| 12 |
struct ptr-traits-elem<T>
|
| 13 |
+
{ using type = T::element_type; };
|
| 14 |
|
| 15 |
template<template<class...> class SomePointer, class T, class... Args>
|
| 16 |
requires (!requires { typename SomePointer<T, Args...>::element_type; })
|
| 17 |
struct ptr-traits-elem<SomePointer<T, Args...>>
|
| 18 |
{ using type = T; };
|