Re: [PATCH] Simplify the base characteristics for some type traits

[Jonathan Wakely <jwakely at redhat dot com>]

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 :-)