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 Alloc>
13 // struct allocator_traits
14 // {
15 //     typedef Alloc::pointer | value_type* pointer;
16 //     ...
17 // };
18 
19 #include <memory>
20 #include <type_traits>
21 
22 template <class T>
23 struct Ptr {};
24 
25 template <class T>
26 struct A
27 {
28     typedef T value_type;
29     typedef Ptr<T> pointer;
30 };
31 
32 template <class T>
33 struct B
34 {
35     typedef T value_type;
36 };
37 
38 int main()
39 {
40     static_assert((std::is_same<std::allocator_traits<A<char> >::pointer, Ptr<char> >::value), "");
41     static_assert((std::is_same<std::allocator_traits<B<char> >::pointer, char*>::value), "");
42 }
43