> If I understood correctly, you are talking about inference upgrade that > will happen after JDK8 and which will contain exception transparency > support. s/will/might conceivably in a possible world/