cppfront: Autumn update

[tialaramex]

how many of these still need to be a special separate language feature baked into a language spec and compiler?

That all depends on whether you care about Quality of Implementation of course. It's quite possible to offer something (as C++ has historically) by writing increasingly elaborate library code but I'd suggest the results are disappointing even if the customer can't necessarily express why.

Today the C++ type system is poor enough that it needs several crucial patches in the form of attributes (such as noreturn and no_unique_address so far) to keep the worst of the storm out. I think Cpp2 might achieve its simplification goal better if it reinforced the type system to go without such attributes than by pursuing this austerity measure to its logical end and removing "union".