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

2018-07-19 Thread Jonathan Wakely
On 19/07/18 21:40 +0300, Ville Voutilainen wrote: On 19 July 2018 at 20:18, Jonathan Wakely 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 e

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

2018-07-19 Thread Ville Voutilainen
On 19 July 2018 at 20:18, Jonathan Wakely 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 t

[PATCH] Simplify the base characteristics for some type traits

2018-07-19 Thread Jonathan Wakely
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 I added some extra tests for cases that had been pro