element_type.pass.cpp revision b64f8b07c104c6cc986570ac8ee0ed16a9f23976 
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
22struct A
23{
24    typedef char element_type;
25};
26
27template <class T>
28struct B
29{
30    typedef char element_type;
31};
32
33template <class T>
34struct C
35{
36};
37
38template <class T, class U>
39struct D
40{
41};
42
43int 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