https://github.com/cplusplus/draft/pull/8616 has been merged, so what P3666R2 is asking for is done.
cplusplus/draft#8616 has been merged, so what P3666R2 is asking for is done.