US162 16.05.3.5 [allocator.requirements] Default behavior for "destroy" is "destroy_at" LWG 3315 #160
Description
The default behavior for a.destroy is now to call destroy_at
Proposed change:
Replace "default" entry with:
destroy_at(c)
{{ message }}