https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91607
--- Comment #11 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Perhaps we should just remove the assert: --- a/gcc/cp/constexpr.c +++ b/gcc/cp/constexpr.c @@ -1085,7 +1085,6 @@ constexpr_call_hasher::equal (constexpr_call *lhs, constexpr_call *rhs) { tree lhs_arg = TREE_VALUE (lhs_bindings); tree rhs_arg = TREE_VALUE (rhs_bindings); - gcc_assert (same_type_p (TREE_TYPE (lhs_arg), TREE_TYPE (rhs_arg))); if (!cp_tree_equal (lhs_arg, rhs_arg)) return false; lhs_bindings = TREE_CHAIN (lhs_bindings);