]>
Commit | Line | Data |
---|---|---|
20effc67 TL |
1 | /* |
2 | Copyright 2020 Glen Joseph Fernandes | |
3 | (glenjofe@gmail.com) | |
4 | ||
5 | Distributed under the Boost Software License, Version 1.0. | |
6 | (http://www.boost.org/LICENSE_1_0.txt) | |
7 | */ | |
8 | #include <boost/core/allocator_access.hpp> | |
9 | #include <boost/core/is_same.hpp> | |
10 | #include <boost/core/lightweight_test_trait.hpp> | |
11 | ||
12 | template<class T> | |
13 | struct A1 { | |
14 | typedef T value_type; | |
15 | template<class> | |
16 | struct rebind { | |
17 | typedef A1<int> other; | |
18 | }; | |
19 | }; | |
20 | ||
20effc67 TL |
21 | template<class T> |
22 | struct A2 { | |
23 | typedef T value_type; | |
24 | }; | |
20effc67 TL |
25 | |
26 | int main() | |
27 | { | |
28 | BOOST_TEST_TRAIT_TRUE((boost::core::is_same<A1<int>, | |
29 | boost::allocator_rebind<A1<char>, bool>::type>)); | |
20effc67 TL |
30 | BOOST_TEST_TRAIT_TRUE((boost::core::is_same<A2<int>, |
31 | boost::allocator_rebind<A2<char>, int>::type>)); | |
20effc67 TL |
32 | return boost::report_errors(); |
33 | } |