[ 2018-08-23 Batavia Issues processing ]
Status to Tentatively Ready with updated wording
Previous resolution [SUPERSEDED]:
Wording relative to N4762.
Edit [mem.poly.allocator.mem] as indicated:
Tp* allocate(size_t n);-1- Effects: If SIZE_MAX / sizeof(Tp) < n, throws length_error, then
Eequivalent to:return static_cast<Tp*>(memory_rsrc->allocate(n * sizeof(Tp), alignof(Tp)));