[libcxx-commits] [PATCH] D88131: adds [concepts.arithmetic]

[Christopher Di Bella via Phabricator via libcxx-commits]

cjdb marked 2 inline comments as done.
cjdb added inline comments.


================
Comment at: libcxx/include/concepts:187
+template<class _Tp>
+concept unsigned_integral = integral<_Tp> && !signed_integral<_Tp>;
+
----------------
Mordante wrote:
> Interesting to it written like this, it compares `integral<_Tp>` twice. (Just a remark, since this matches the Standard.)
This is for subsumption, see my tests below :-)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D88131/new/

https://reviews.llvm.org/D88131