> There is even a reference implementation, so it could be added to existing compilers?
I don't think it would be that straightforwards since this is one of those changes which depends pretty heavily on compiler internals, unlike library-only reference implementations. It'd be like taking a reference implementation in Clang and "adding it" to GCC/MSVC.
That would at the very least be better than what we have now.