Index: test/std/utilities/tuple/tuple.tuple/tuple.assign/copy.pass.cpp
===================================================================
--- test/std/utilities/tuple/tuple.tuple/tuple.assign/copy.pass.cpp
+++ test/std/utilities/tuple/tuple.tuple/tuple.assign/copy.pass.cpp
@@ -35,6 +35,10 @@
   MoveAssignable& operator=(MoveAssignable&&) = default;
 };
 
+struct CopyAssignableInt {
+    CopyAssignableInt& operator=(int&) { return *this; }
+};
+
 int main(int, char**)
 {
     {
@@ -100,6 +104,21 @@
         using T = std::tuple<int, MoveAssignable>;
         static_assert(!std::is_copy_assignable<T>::value, "");
     }
+    {
+        using T = std::tuple<int, int, int>;
+        using P = std::pair <int, int>;
+        static_assert(!std::is_assignable<T, P>::value, "");
+    }
+    { // test const requirement
+        using T = std::tuple<CopyAssignableInt, CopyAssignableInt>;
+        using P = std::pair <int,               int>;
+        static_assert(!std::is_assignable<T&, P const>::value, "");
+    }
+    {
+        using T = std::tuple<int, MoveAssignable>;
+        using P = std::pair <int, MoveAssignable>;
+        static_assert(!std::is_assignable<T&, P&>::value, "");
+    }
 
   return 0;
 }
Index: test/std/utilities/tuple/tuple.tuple/tuple.assign/move_pair.pass.cpp
===================================================================
--- test/std/utilities/tuple/tuple.tuple/tuple.assign/move_pair.pass.cpp
+++ test/std/utilities/tuple/tuple.tuple/tuple.assign/move_pair.pass.cpp
@@ -37,6 +37,12 @@
     explicit D(int i) : B(i) {}
 };
 
+struct NonMoveAssignable
+{
+  NonMoveAssignable& operator=(NonMoveAssignable const&) = default;
+  NonMoveAssignable& operator=(NonMoveAssignable &&) = delete;
+};
+
 int main(int, char**)
 {
     {
@@ -48,6 +54,16 @@
         assert(std::get<0>(t1) == 2);
         assert(std::get<1>(t1)->id_ == 3);
     }
+    {
+        using T = std::tuple<int, NonMoveAssignable>;
+        using P = std::pair <int, NonMoveAssignable>;
+        static_assert(!std::is_assignable<T&, P&&>::value, "");
+    }
+    {
+        using T = std::tuple<int, int, int>;
+        using P = std::pair <int, int>;
+        static_assert(!std::is_assignable<T&, P&&>::value, "");
+    }
 
   return 0;
 }
Index: test/std/utilities/utility/pairs/pairs.pair/assign_pair.pass.cpp
===================================================================
--- test/std/utilities/utility/pairs/pairs.pair/assign_pair.pass.cpp
+++ test/std/utilities/utility/pairs/pairs.pair/assign_pair.pass.cpp
@@ -21,9 +21,8 @@
 #include "test_macros.h"
 
 
-struct NonAssignable {
-  NonAssignable& operator=(NonAssignable const&) = delete;
-  NonAssignable& operator=(NonAssignable&&) = delete;
+struct NonCopyAssignable {
+  NonCopyAssignable& operator=(NonCopyAssignable const&) = delete;
 };
 struct CopyAssignable {
   CopyAssignable() = default;
@@ -73,8 +72,8 @@
         assert(p1.second == y2);
     }
     {
-        using P = std::pair<int, NonAssignable>;
-        static_assert(!std::is_copy_assignable<P>::value, "");
+        using P = std::pair<int, NonCopyAssignable>;
+        static_assert(!std::is_move_assignable<P>::value, "");
     }
     {
         CountAssign::reset();
Index: test/std/utilities/utility/pairs/pairs.pair/assign_rv_pair.pass.cpp
===================================================================
--- test/std/utilities/utility/pairs/pairs.pair/assign_rv_pair.pass.cpp
+++ test/std/utilities/utility/pairs/pairs.pair/assign_rv_pair.pass.cpp
@@ -21,9 +21,8 @@
 #include "test_macros.h"
 
 
-struct NonAssignable {
-  NonAssignable& operator=(NonAssignable const&) = delete;
-  NonAssignable& operator=(NonAssignable&&) = delete;
+struct NonMoveAssignable {
+  NonMoveAssignable& operator=(NonMoveAssignable&&) = delete;
 };
 struct CopyAssignable {
   CopyAssignable() = default;
@@ -70,7 +69,7 @@
         assert(p1.second == y2);
     }
     {
-        using P = std::pair<int, NonAssignable>;
+        using P = std::pair<int, NonMoveAssignable>;
         static_assert(!std::is_move_assignable<P>::value, "");
     }
     {
Index: www/cxx1z_status.html
===================================================================
--- www/cxx1z_status.html
+++ www/cxx1z_status.html
@@ -412,7 +412,7 @@
 	<tr><td><a href="https://wg21.link/LWG2699">2699</a></td><td>Missing restriction in [numeric.requirements]</td><td>Issaquah</td><td>Complete</td></tr>
 	<tr><td><a href="https://wg21.link/LWG2712">2712</a></td><td>copy_file(from, to, ...) has a number of unspecified error conditions</td><td>Issaquah</td><td>Complete</td></tr>
 	<tr><td><a href="https://wg21.link/LWG2722">2722</a></td><td>equivalent incorrectly specifies throws clause</td><td>Issaquah</td><td>Complete</td></tr>
-	<tr><td><a href="https://wg21.link/LWG2729">2729</a></td><td>Missing SFINAE on std::pair::operator=</td><td>Issaquah</td><td></td></tr>
+	<tr><td><a href="https://wg21.link/LWG2729">2729</a></td><td>Missing SFINAE on std::pair::operator=</td><td>Issaquah</td><td>Complete</td></tr>
 	<tr><td><a href="https://wg21.link/LWG2732">2732</a></td><td>Questionable specification of path::operator/= and path::append</td><td>Issaquah</td><td>Complete</td></tr>
 	<tr><td><a href="https://wg21.link/LWG2733">2733</a></td><td>[fund.ts.v2] gcd / lcm and bool</td><td>Issaquah</td><td>Complete</td></tr>
 	<tr><td><a href="https://wg21.link/LWG2735">2735</a></td><td>std::abs(short), std::abs(signed char) and others should return int instead of double in order to be compatible with C++98 and C</td><td>Issaquah</td><td></td></tr>