Proposed resolution:

This wording is relative to N4606.

1. Change [pairs.pair] as indicated:

   pair& operator=(const pair& p);
   

   -15- RequiresRemarks: This operator shall be defined as deleted unless is_copy_assignable_v<first_type> is true and is_copy_assignable_v<second_type> is true.

   […]

   template<class U, class V> pair& operator=(const pair<U, V>& p);
   

   -18- RequiresRemarks: This operator shall not participate in overload resolution unless is_assignable_v<first_type&, const U&> is true and is_assignable_v<second_type&, const V&> is true.

   […]

   pair& operator=(pair&& p) noexcept(see below);
   

   -21- Remarks: The expression inside noexcept is equivalent to:

   is_nothrow_move_assignable_v<T1> && is_nothrow_move_assignable_v<T2>
   

   -22- RequiresRemarks: This operator shall be defined as deleted unless is_move_assignable_v<first_type> is true and is_move_assignable_v<second_type> is true.

   […]

   template<class U, class V> pair& operator=(pair<U, V>&& p);
   

   -25- RequiresRemarks: This operator shall not participate in overload resolution unless is_assignable_v<first_type&, U&&> is true and is_assignable_v<second_type&, V&&> is true.

2. Change [tuple.assign] as indicated:

   tuple& operator=(const tuple& u);
   

   -2- RequiresRemarks: This operator shall be defined as deleted unless is_copy_assignable_v<T_i> is true for all i.

   […]

   tuple& operator=(tuple&& u) noexcept(see below);
   

   -5- Remark: The expression inside noexcept is equivalent to the logical AND of the following expressions:

   is_nothrow_move_assignable_v<Ti>
   

   where T_i is the i^th type in Types.

   -6- RequiresRemarks: This operator shall be defined as deleted unless is_move_assignable_v<T_i> is true for all i.

   […]

   template <class... UTypes>
     tuple& operator=(const tuple<UTypes...>& u);
   

   -9- RequiresRemarks: This operator shall not participate in overload resolution unless sizeof...(Types) == sizeof...(UTypes) and is_assignable_v<T_i&, const U_i&> is true for all i.

   […]

   template <class... UTypes>
     tuple& operator=(tuple<UTypes...>&& u);
   

   -12- RequiresRemarks: This operator shall not participate in overload resolution unless is_assignable_v<T_i&, U_i&&> == true for all i. and sizeof...(Types) == sizeof...(UTypes).

   […]

   template <class U1, class U2> tuple& operator=(const pair<U1, U2>& u);
   

   -15- RequiresRemarks: This operator shall not participate in overload resolution unless sizeof...(Types) == 2. and is_assignable_v<T₀&, const U₁&> is true for the first type T₀ in Types and is_assignable_v<T₁&, const U₂&> is true for the second type T₁ in Types.

   […]

   template <class U1, class U2> tuple& operator=(pair<U1, U2>&& u);
   

   -18- RequiresRemarks: This operator shall not participate in overload resolution unless sizeof...(Types) == 2. and is_assignable_v<T₀&, U₁&&> is true for the first type T₀ in Types and is_assignable_v<T₁&, U₂&&> is true for the second type T₁ in Types.

[ 2016-08 - Chicago ]

Thurs PM: Moved to Tentatively Ready

Lots of discussion, but no one had a better idea.

[ 2016-08-03 Chicago LWG ]

Inspired by Eric Fiselier and Ville, Walter and Nevin provide initial Proposed Resolution.

std::is_copy_assignable<std::pair<int, std::unique_ptr<int>>>::value is true, and should be false. We're missing a "shall not participate in overload resolution unless" for pair's operator=, and likewise for tuple.