Yes, the type inference algorithm can’t tell that ...

# random

[natpryce]

Yes, the type inference algorithm can’t tell that the RuntimeException you pass into the ExecutionException is the same as the cause of the exception that gets passed to the Matcher