typedefs.cc: Check rebind and improve propagate_on_container_move_assignment check.
authorJonathan Wakely <jwakely.gcc@gmail.com>
Mon, 19 Nov 2012 22:35:11 +0000 (22:35 +0000)
committerJonathan Wakely <redi@gcc.gnu.org>
Mon, 19 Nov 2012 22:35:11 +0000 (22:35 +0000)
* testsuite/20_util/allocator/requirements/typedefs.cc: Check rebind
and improve propagate_on_container_move_assignment check.

From-SVN: r193639

libstdc++-v3/ChangeLog
libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc

index 9636bd7f47f72e6c9ac3a17ce93d0bbcb93eaebf..f96cf7a8e844777638058d64a0c4fbda6fb207b3 100644 (file)
@@ -1,3 +1,8 @@
+2012-11-19  Jonathan Wakely  <jwakely.gcc@gmail.com>
+
+       * testsuite/20_util/allocator/requirements/typedefs.cc: Check rebind
+       and improve propagate_on_container_move_assignment check.
+
 2012-11-19  Jonathan Wakely  <jwakely.gcc@gmail.com>
 
        * include/bits/stl_algo.h (reverse_copy): Update comment per DR 2074.
index 37d5032ad80b8993bd07fcb5b1fd6846be4de7c8..78536de7b42d4492948d0509344bd94abca93b49 100644 (file)
@@ -42,5 +42,10 @@ static_assert( is_same<allocator<int>::const_reference, const int&>::value,
 static_assert( is_same<allocator<int>::value_type, int>::value,
                "value_type" );
 
-static_assert( allocator<int>::propagate_on_container_move_assignment::value,
-               "propagate_on_container_move_assignment is true" );
+static_assert( is_same<allocator<int>::rebind<char>::other,
+                       allocator<char>>::value,
+               "rebind::other" );
+
+static_assert( is_same<allocator<int>::propagate_on_container_move_assignment,
+                       std::true_type>::value,
+               "propagate_on_container_move_assignment" );