Re: [patch] Apply recent DRs resolutions to libstdc++

[Jonathan Wakely]

A small improvement:

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

Tested x86_64-linux, committed to trunk.

commit 9d600a18ed7750ca21232b766f8b90d295b8e2ec
Author: Jonathan Wakely <jwakely....@gmail.com>
Date:   Mon Nov 19 22:32:57 2012 +0000

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

diff --git a/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc 
b/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc
index 37d5032..78536de 100644
--- a/libstdc++-v3/testsuite/20_util/allocator/requirements/typedefs.cc
+++ b/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" );