They are copy-constructible through the shared impl. The semantics is that the last dtor waits on the future.