https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63362
--- Comment #16 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
(In reply to Ville Voutilainen from comment #15)
> (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
> {
> }
And the trace is
[ville@localhost ~]$ g++ --std=c++14 -c trivial_trait.cpp
trivial_trait.cpp:5:43: internal compiler error: tree check: expected class
‘type’, have ‘exceptional’ (tree_list) in comptypes, at cp/typeck.c:1391
__is_trivially_constructible(T, Args...)>>::type
^
0xe07427 tree_class_check_failed(tree_node const*, tree_code_class, char
const*, int, char const*)
../../gcc/tree.c:9226
0x6b4f50 tree_class_check(tree_node*, tree_code_class, char const*, int, char
const*)
../../gcc/tree.h:2856
0x6b4f50 comptypes(tree_node*, tree_node*, int)
../../gcc/cp/typeck.c:1391
0x5c2934 template_args_equal
../../gcc/cp/pt.c:7223
0x5c2fbe comp_template_args_with_info
../../gcc/cp/pt.c:7250
0x5c30ec comp_template_args(tree_node*, tree_node*)
../../gcc/cp/pt.c:7268
0x5c30ec eq_specializations
../../gcc/cp/pt.c:1512
0x123c2c4 htab_find_with_hash
../../libiberty/hashtab.c:598
0x5e9b31 lookup_template_class_1
../../gcc/cp/pt.c:7688
0x5e9b31 lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
../../gcc/cp/pt.c:7979
0x700da2 finish_template_type(tree_node*, tree_node*, int)
../../gcc/cp/semantics.c:2981
0x6936e9 cp_parser_template_id
../../gcc/cp/parser.c:13658
0x6939f8 cp_parser_class_name
../../gcc/cp/parser.c:19487
0x687b4a cp_parser_qualifying_entity
../../gcc/cp/parser.c:5570
0x687b4a cp_parser_nested_name_specifier_opt
../../gcc/cp/parser.c:5295
0x69fec0 cp_parser_simple_type_specifier
../../gcc/cp/parser.c:14864
0x67b725 cp_parser_type_specifier
../../gcc/cp/parser.c:14610
0x67c97b cp_parser_type_specifier_seq
../../gcc/cp/parser.c:18355
0x691e52 cp_parser_type_id_1
../../gcc/cp/parser.c:18227
0x691f4e cp_parser_template_type_arg
../../gcc/cp/parser.c:18277
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
