https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104691
--- Comment #1 from Leengit <github at quantconsulting dot com> --- Closely related bug: although not demonstrated in the supplied code, note that compilation should complete successfully even if the static_assert fails to compile because its first argument is not `constexpr` given these template arguments. Whether because of the substitution error for the first argument of the static_assert or the substitution error earlier in the instantiation -- one or both of these should cause the failure to be `constexpr` to be ignored.