If the last item in an async::For throws an exception, it will exit the function and free up the mutex - and not wait for the other threads.  If they also throw an exception the program will access invalid memory and terminate.