From Jason Turner

[pointer.traits.types]

Diff to HTML by rtfpessoa

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 = typename 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; };
 
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; };