[PATCH] D51262: Implement P0553 and P0556

[Marshall Clow via Phabricator via cfe-commits]

mclow.lists added a comment.

> Also are the unsigned types that aren't integral?

I believe that people are allowed to specialize `is_unsigned` for their own (bignum, say) types.
However, `is_integral` is not extensible. It refers to the types in `[basic.fundamental]`

> Type `bool` is a distinct type that has the same object representation, value representation, and alignment requirements as an implementation-defined unsigned integer type.


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

https://reviews.llvm.org/D51262