typedefs.cc: Check rebind and improve propagate_on_container_move_assignment check.

	* testsuite/20_util/allocator/requirements/typedefs.cc: Check rebind
	and improve propagate_on_container_move_assignment check.

From-SVN: r193639

libstdc++-v3/ChangeLog

+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.

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

@@ -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" );