When a socket is destroyed, it will be closed as-if through socket.close(ec)during socket destruction.
/, socket, basic_io_object. basic_io_object , destroy() - -, implementation_type, -. destroy() , SocketService, . a , b implementation_type :
a.destroy(b):
[...] , a.close(b, ec).
a.close(b, ec):
a.is_open() , . error::operation_aborted.
post: !a.is_open(b).