Proposed resolution:

This resolution is relative to N4750.

1. Edit [util.smartptr.shared.create] as indicated:

   template<class T, ...>
   shared_ptr<T> make_shared(args);
   template<class T, class A, ...>
   shared_ptr<T> allocate_shared(const A& a, args);
   

   […]

   -7- Remarks:

   1. […]

   2. (7.9) — When the lifetime of the object managed by the return value ends, or when the initialization of an array element throws an exception, the initialized elements are destroyed in the reverse order of their original construction.

   3. (7.?) — When a (sub)object of a non-array type U that was initialized by make_shared is to be destroyed, it is destroyed via the expression pv->~U() where pv points to that object of type U.

   4. (7.?) — When a (sub)object of a non-array type U that was initialized by allocate_shared is to be destroyed, it is destroyed via the expression allocator_traits<A2>::destroy(a2, pv) where pv points to that object of type remove_cv_t<U> and a2 of type A2 is a rebound copy of the allocator a passed to allocate_shared such that its value_type is remove_cv_t<U>.