Jonathan Wakely

I like the direction, but saying implementation-defined means implementations are required to document what strings are used in which places. How about: > where S is a NTBS indicating where...

hmm ... seems a shame to add the member just for this ... but using const_cast would be UB if we had: ``` io_context c; const auto e = c.get_executor();...

Hmm, good point. Maybe this should be discussed in LEWG not just the two of us.

I think something like this: A type `A` meets the proto-allocator requirements if `allocator_traits::rebind_alloc` meets the allocator requirements, where `U` is an object type. [Note: For example, `std::allocator` meets the...

Yes, good point.