[boost] [TypeTraits] Are any of the new C++2011 traits implementable using SFINAE expressions?

Subject: [boost] [TypeTraits] Are any of the new C++2011 traits implementable using SFINAE expressions?
From: John Maddock (boost.regex_at_[hidden])
Date: 2011-04-19 13:03:24

I'm quite sure the answer to this is no.... but are there any new language 
features in C++2011 that would allow the implementation of any of the 
following traits within the language?  Thanks in advance, John.

template <class T> struct is_trivial
template <class T> struct is_trivially_copyable
template <class T> struct is_standard_layout
template <class T> struct is_literal_type
template <class T, class... Args> struct is_constructible;
template <class T> struct is_default_constructible;
template <class T> struct is_copy_constructible;
template <class T> struct is_move_constructible;
template <class T, class U> struct is_assignable;
template <class T> struct is_copy_assignable;
template <class T> struct is_move_assignable;
template <class T> struct is_destructible;
template <class T, class... Args> struct is_trivially_constructible;
template <class T> struct is_trivially_default_constructible;
template <class T> struct is_trivially_copy_constructible;
template <class T> struct is_trivially_move_constructible;
template <class T, class U> struct is_trivially_assignable;
template <class T> struct is_trivially_copy_assignable;
template <class T> struct is_trivially_move_assignable;
template <class T> struct is_trivially_destructible;
template <class T, class... Args> struct is_nothrow_constructible;
template <class T> struct is_nothrow_default_constructible;
template <class T> struct is_nothrow_copy_constructible;
template <class T> struct is_nothrow_move_constructible;
template <class T, class U> struct is_nothrow_assignable;
template <class T> struct is_nothrow_copy_assignable;
template <class T> struct is_nothrow_move_assignable;
template <class T> struct is_nothrow_destructible;
template <class T> struct underlying_type;