https://cplusplus.github.io/LWG/issue3178 This was opened by @geoffromer , but @Dani-Hub thought it might be editorial.