[PATCH] Simplify the base characteristics for some type traits

[Jonathan Wakely]

On 19/07/18 21:40 +0300, Ville Voutilainen wrote:
>On 19 July 2018 at 20:18, Jonathan Wakely <jwakely@redhat.com> wrote:
>> This removes some seemingly redundant conditions from a few traits. If
>> __is_trivially_assignable correctly checks the assignable condition as
>> well as triviality, then we don't need is_assignable explicitly.  Does
>> anybody see a problem with that
>
>It should work; if it doesn't, that's a bug in the compiler. Both
>is_constructible
>and is_assignable and trivial variants thereof go to the same
>"is_xible" code path,
>so it should be fair for the library to expect that it all works. In
>case it doesn't,
>that's something that I will fix in the front-end.

Yeah I agree. I guess my concern is that we introduce a regression and
don't notice for a while that the intrinsic is buggy.

I've committed it now, so we'll see :-)