tmp/tmpbh1vofuv/{from.md → to.md}
RENAMED
|
@@ -33,11 +33,11 @@ template<class T>
|
|
| 33 |
struct ptr-traits-elem // exposition only
|
| 34 |
{ };
|
| 35 |
|
| 36 |
template<class T> requires requires { typename T::element_type; }
|
| 37 |
struct ptr-traits-elem<T>
|
| 38 |
-
{ using type =
|
| 39 |
|
| 40 |
template<template<class...> class SomePointer, class T, class... Args>
|
| 41 |
requires (!requires { typename SomePointer<T, Args...>::element_type; })
|
| 42 |
struct ptr-traits-elem<SomePointer<T, Args...>>
|
| 43 |
{ using type = T; };
|
|
|
|
| 33 |
struct ptr-traits-elem // exposition only
|
| 34 |
{ };
|
| 35 |
|
| 36 |
template<class T> requires requires { typename T::element_type; }
|
| 37 |
struct ptr-traits-elem<T>
|
| 38 |
+
{ using type = T::element_type; };
|
| 39 |
|
| 40 |
template<template<class...> class SomePointer, class T, class... Args>
|
| 41 |
requires (!requires { typename SomePointer<T, Args...>::element_type; })
|
| 42 |
struct ptr-traits-elem<SomePointer<T, Args...>>
|
| 43 |
{ using type = T; };
|