[Document: P3839R0]