On 12 November 2015 at 00:18, Jonathan Wakely <jwakely@redhat.com> wrote:
> So I think we want to define them again, independently, in
> <experimental/type_traits>, even though it might lead to ambiguities

Here. Tested again on Linux-PPC64.

2015-11-11  Ville Voutilainen  <ville.voutilainen@gmail.com>

    Implement D0013R2, logical type traits.

    /libstdc++-v3
    * include/experimental/type_traits (conjunction, disjunction,
    negation, conjunction_v, disjunction_v, negation_v): New.
    * include/std/type_traits (conjunction, disjunction, negation):
    Likewise.
    * testsuite/20_util/declval/requirements/1_neg.cc: Adjust.
    * testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Likewise.
    * testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
    Likewise.
    * testsuite/experimental/type_traits/value.cc: Likewise.
    * testsuite/20_util/logical_traits/requirements/explicit_instantiation.cc:
New.
    * testsuite/20_util/logical_traits/requirements/typedefs.cc: Likewise.
    * testsuite/20_util/logical_traits/value.cc: Likewise.

    /testsuite
    * g++.dg/cpp0x/Wattributes1.C: Adjust.