ну чтож, в целом новость позитивная... ждем ебилдов^W реализаций от gcc/clang.

несколько расстраивает правда направление некоторых "фиксов": сначала (в С++11) они делают enable_if и conditional не совместимые с бустовыми (enable_if и mpl::eval_if, которые сами делают "вызов" метафункции (первый аргумент)), заставляя пользователей стандартной библы писать typename blah<T>::type "на каждый чих".
а потом голосуют за введение 100500 алиасов для метафункций и еще 100500 “Variable Templates For Type Traits” (чтобы зарамсить аналогичные траблы со static_assert).