We should consider making await
imply throws
. This would declutter the call site. Async operations are often throwing:
- loading web resources: definitely throwing
- file IO: usually throwing
- costly operations: can go either way
- UI actions: the only case I can think of right now that cannot be throwing
This was discussed in previous threads and the response was pretty positive. What are the benefits of proposed syntax?