LWG3900 The allocator_arg_t overloads of generator::promise_type::operator new should not be constrained

Author: burblebee

source/ranges.tex

@@ -17012,13 +17012,11 @@
       requires @\libconcept{same_as}@<Allocator, void> || @\libconcept{default_initializable}@<Allocator>;
 
     template<class Alloc, class... Args>
-      requires @\libconcept{same_as}@<Allocator, void> || @\libconcept{convertible_to}@<const Alloc&, Allocator>
-        void* operator new(size_t size, allocator_arg_t, const Alloc& alloc, const Args&...);
+      void* operator new(size_t size, allocator_arg_t, const Alloc& alloc, const Args&...);
 
     template<class This, class Alloc, class... Args>
-      requires @\libconcept{same_as}@<Allocator, void> || @\libconcept{convertible_to}@<const Alloc&, Allocator>
-        void* operator new(size_t size, const This&, allocator_arg_t, const Alloc& alloc,
-                           const Args&...);
+      void* operator new(size_t size, const This&, allocator_arg_t, const Alloc& alloc,
+                         const Args&...);
 
     void operator delete(void* pointer, size_t size) noexcept;
 
@@ -17220,11 +17218,9 @@
   requires @\libconcept{same_as}@<Allocator, void> || @\libconcept{default_initializable}@<Allocator>;
 
 template<class Alloc, class... Args>
-  requires @\libconcept{same_as}@<Allocator, void> || @\libconcept{convertible_to}@<const Alloc&, Allocator>
   void* operator new(size_t size, allocator_arg_t, const Alloc& alloc, const Args&...);
 
 template<class This, class Alloc, class... Args>
-  requires @\libconcept{same_as}@<Allocator, void> || @\libconcept{convertible_to}@<const Alloc&, Allocator>
   void* operator new(size_t size, const This&, allocator_arg_t, const Alloc& alloc,
                      const Args&...);
 \end{itemdecl}
@@ -17247,6 +17243,9 @@
 \pnum
 \mandates
 \tcode{allocator_traits<B>::pointer} is a pointer type.
+For the overloads with a template parameter \tcode{Alloc},
+\tcode{\libconcept{same_as}<Allocator, void> || \libconcept{convertible_to}<const Alloc\&, Allocator>}
+is modeled.
 
 \pnum
 \effects