Avoid calling get_future() more than once on a given promise.
2 files changed