eisenwave wrote: https://isocpp.org/files/papers/P3642R3.html#possible-implementation There's a more recent version of the proposal by the way. The naive implementation there is a bit better than the one in R2. https://github.com/llvm/llvm-project/pull/168527