https://isocpp.org/files/papers/P2841R7.pdf I have an implementation that I plan to upstream over the next few months