https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111284
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Ah, /* Associate the bindings with the remapped parms. */ in constexpr.cc remaps those then. So, that loop should take into account also the invisiref parms disagreements.