Subject: __cpp_lib_polymorphic_allocator is in the wrong header
From: Jonathan Wakely (cxx_at_[hidden])
Date: 2020-04-29 06:19:33
Alisdair noticed that __cpp_lib_polymorphic_allocator is defined in
<memory> but std::polymoprhic_allocator is defined in <memory_resource>
(which is not included by <memory>).
This seems like a mistake in P1902R1, as I can't see any reason to put it
in a different header from the feature it describes.
I'll submit a new LWG issue for this.
SG10 list run by herb.sutter at gmail.com