https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #15 from Ville Voutilainen <ville.voutilainen at gmail dot com> --- (In reply to Jason Merrill from comment #14) > (In reply to Ville Voutilainen from comment #13) > > Hmm. The first of the two ICE tests still ICEs. > > Which test? None of the tests are ICEing for me. This one: #include <type_traits> template <typename T, class... Args> struct mytrait : public std::__and_<std::is_constructible<T, Args...>, std::integral_constant<bool, __is_trivially_constructible(T, Args...)>>::type { }