The compiler already infers that in current Java for one checked exception type, and also for several exception types at least in some cases (the latter seems t

The compiler already infers that in current Java for one checked exception type, and also for several exception types at least in some cases (the latter seems to be a little more buggy in the current implementation).