I'm not sure the example is appropriate, as there is no guarantee that get() is not going to crash. The future is invalid and thus it's UB to call get().