1 //===----------------------------------------------------------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9
10 // <memory>
11
12 // template <class Ptr>
13 // struct pointer_traits
14 // {
15 // typedef <details> element_type;
16 // ...
17 // };
18
19 #include <memory>
20 #include <type_traits>
21
22 struct A
23 {
24 typedef char element_type;
25 };
26
27 template <class T>
28 struct B
29 {
30 typedef char element_type;
31 };
32
33 template <class T>
34 struct C
35 {
36 };
37
38 template <class T, class U>
39 struct D
40 {
41 };
42
main()43 int main()
44 {
45 static_assert((std::is_same<std::pointer_traits<A>::element_type, char>::value), "");
46 static_assert((std::is_same<std::pointer_traits<B<int> >::element_type, char>::value), "");
47 static_assert((std::is_same<std::pointer_traits<C<int> >::element_type, int>::value), "");
48 static_assert((std::is_same<std::pointer_traits<D<double, int> >::element_type, double>::value), "");
49 }
50