commit df755d6a869171fe0d327579b8dba769d8953dd7
author Christopher Di Bella <cjdb@google.com> Tue Apr 13 05:15:10 2021 +0000
committer Copybara-Service <copybara-worker@google.com> Tue Apr 13 16:58:55 2021 -0700
tree 0b12e6097e829b631f182c7d673f51a0f95efdd0
parent 7aaa43730279308cd53551b9d6fcc4c143755a79

[libcxx][NFC] tweaks `incrementable_traits` per review

One suggestion was missed and is being patched now.

GitOrigin-RevId: 0fcea41920cef7414cd55f5fdb2f335f6d2ddb92

include/iterator

diff --git a/include/iterator b/include/iterator
index c45a1e5..cddeb9a 100644
--- a/include/iterator
+++ b/include/iterator
@@ -461,12 +461,12 @@
 
 template<class _Tp>
 concept __has_integral_minus =
-  !__has_member_difference_type<_Tp> &&
   requires(const _Tp& __x, const _Tp& __y) {
     { __x - __y } -> integral;
   };
 
 template<__has_integral_minus _Tp>
+requires (!__has_member_difference_type<_Tp>)
 struct incrementable_traits<_Tp> {
   using difference_type = make_signed_t<decltype(declval<_Tp>() - declval<_Tp>())>;
 };