https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104996
--- Comment #4 from Ed Catmur <ed at catmur dot uk> --- (In reply to Patrick Palka from comment #2) > We started rejecting the commented out static_assert after > r10-3740-g89e0a492af5bec. Thanks, that accords with my analysis - the branch in call.cc:compare_ics that should be refined to take only if the two arrays have same element type was added there.