https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88335
--- Comment #19 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Also note the update_vtable_entry_for_fn changes (except the formatting one) were done just in desperate attempt to avoid various ICEs, I'm afraid I have no idea what would need to be done to diagnose consteval method covariant returns are valid, but without ICEing because we can't find those in structures that don't have those already, or e.g. that we don't try to create thunks. And, guess the cxx_eval_constant_call or somewhere similar it needs to be able to deal with what thunks would normally deal with.
