How to express that the Future returned by a closure lives only as long as its argument?

Solution for this post

And also see other posts: