https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93527
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed thus:
$ ./cc1plus -quiet namidevel.pp.cc -std=c++2a
../namidevel.cc:4:20: error: static assertion failed
../namidevel.cc:4:20: note: constraints not satisfied
In file included from ../namiplot:10,
from ../namidevel.cc:1:
/usr/local/include/c++/10.0.1/concepts:288:15: required for the satisfaction
of ‘__weakly_eq_cmp_with<curve, curve>’
/usr/local/include/c++/10.0.1/concepts:298:13: required for the satisfaction
of ‘equality_comparable<curve>’
/usr/local/include/c++/10.0.1/concepts:289:4: in requirements with
‘std::remove_reference_t<curve>& __t’, ‘std::remove_reference_t<curve>& __u’
/usr/local/include/c++/10.0.1/concepts:290:10: note: the required expression
‘(__t == __u)’ is invalid
/usr/local/include/c++/10.0.1/concepts:291:10: internal compiler error: in
move_fn_p, at cp/decl.c:14076
0xa3cf91 move_fn_p(tree_node const*)
/home/mpolacek/src/gcc/gcc/cp/decl.c:14076
0x944954 joust
/home/mpolacek/src/gcc/gcc/cp/call.c:11150
0x9473b1 tourney
/home/mpolacek/src/gcc/gcc/cp/call.c:11656
0x931565 build_new_op_1
/home/mpolacek/src/gcc/gcc/cp/call.c:6250
0x932371 build_new_op(op_location_t const&, tree_code, int, tree_node*,
tree_node*, tree_node*, tree_node**, int)
/home/mpolacek/src/gcc/gcc/cp/call.c:6546
0xc9f580 build_x_binary_op(op_location_t const&, tree_code, tree_node*,
tree_code, tree_node*, tree_code, tree_node**, int)
/home/mpolacek/src/gcc/gcc/cp/typeck.c:4245
0xbea998 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
/home/mpolacek/src/gcc/gcc/cp/pt.c:19293
0xbe7d0a tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
/home/mpolacek/src/gcc/gcc/cp/pt.c:18622
0x9b5e7a diagnose_valid_expression
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:3143
0x9b5fd9 diagnose_compound_requirement
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:3182
0x9b641c diagnose_requirement
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:3262
0x9b6584 diagnose_requires_expr
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:3289
0x9b677c diagnose_atomic_constraint
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:3325
0x9b4776 satisfy_atom
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2550
0x9b4847 satisfy_constraint_r
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2579
0x9b3dd2 satisfy_conjunction
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2386
0x9b4815 satisfy_constraint_r
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2575
0x9b48c7 satisfy_constraint
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2599
0x9b4ab4 satisfy_constraint_expression
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2644
0x9b4e5a constraint_satisfaction_value
/home/mpolacek/src/gcc/gcc/cp/constraint.cc:2734
