https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88335
--- Comment #17 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 47506 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=47506&action=edit gcc10-wip-consteval-virtual.patch I've tried to make further progress on this, and while simple testcases like those included in the patch work, consteval pmf for consteval virtual methods doesn't work and covariants don't work either and I'm stuck.