* testsuite/20_util/allocator/requirements/typedefs.cc: Check rebind
and improve propagate_on_container_move_assignment check.
From-SVN: r193639
+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.
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" );