Open devurandom opened 1 year ago
This helps analyzing exceptions thrown when deref-ing a future whose body had thrown.
deref
future
This helps analyzing exceptions thrown when
deref
-ing afuture
whose body had thrown.