[boost] [thread] Is future.then( scheduler , task ) abandoned?