[libcxx-commits] [libcxx] [libc++] Refactor __tuple_like and __pair_like (PR #85206)

[Louis Dionne via libcxx-commits]

================
@@ -161,9 +157,7 @@ inline constexpr bool __convertible_to_const_pair_ref =
 #  if _LIBCPP_STD_VER >= 23
 template <class _Tp, class _Up>
 inline constexpr bool __uses_allocator_constraints =
-    __is_cv_std_pair<_Tp> &&
-    (__is_specialization_of_subrange<remove_cvref_t<_Up>>::value ||
-     (!__pair_like<_Up> && !__convertible_to_const_pair_ref<_Up>));
+    __is_cv_std_pair<_Tp> && !__pair_like_no_subrange<_Up> && !__convertible_to_const_pair_ref<_Up>;
----------------
ldionne wrote:

After a lot of playing around with logical expressions, I can confirm before and after are equivalent.

https://github.com/llvm/llvm-project/pull/85206