https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88335
--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> --- The above patch: 1) adds sorry_at for virtual consteval, that is quite a lot of work 2) still doesn't handle ctors properly (perhaps sorry_at too)? 3) fixes the testcase from the paper with decltype containing call to void returning consteval fn 4) adds diagnostics for immediate invocation returning address of some immediate function Unfortunately 4) breaks consteval2.C testcase, my reading of the spec is we should treat default arguments of immediate functions as in immediate function context and not evaluate immediately, but current_function_decl at that point doesn't indicate we are in immediate function context, and I guess we don't even have such a decl. Jason, any thoughts on that?
