[v3 patch] Implement N4502 Standard Library Support for the C++ Detection Idiom

[Jonathan Wakely]

On 01/07/15 13:23 +0100, Jonathan Wakely wrote:
>This adds the "detection idiom" API from N4502
>
>http://open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4502.pdf
>
>I've added the low-level parts to <type_traits>, with public aliases
>in <experimental/type_traits>, so that I can use them elsewhere in the
>library.

For example this uses the new features to simplify pointer_traits.

These changes caused some new FAILs due to invalid uses of
pointer_traits that the standard says should be ill-formed but didn't
fail before. The patch fixes those tests.

Tested powerpc64le-linux, committed to trunk.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.txt
Type: text/x-patch
Size: 8293 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20150701/1aa9c601/attachment.bin>