[PATCH] D31637: [Sema] Implement LWG 2015 for the builtin type-traits.

[Aaron Ballman via Phabricator via cfe-commits]

aaron.ballman added a comment.

> If I'm not mistaken the correct thing to do is to retroactively apply it to C++11 even though it first appeared in the C++14 standard.

That is how we typically handle DRs.

Do you also need to change the implementation of `EvaluateBinaryTypeTrait()` for the changes to `is_base_of()`?



================
Comment at: lib/Sema/SemaExprCXX.cpp:4083
   case UTT_HasTrivialDestructor:
   case UTT_HasVirtualDestructor:
+    // C++14 [meta.unary.prop]
----------------
Is this correct for `has_virtual_destructor()`? LWG 2015 treats that the same as `is_empty()` and friends.


https://reviews.llvm.org/D31637