Search:

I don't see how my suggested use of this within the type parameter declaration conflicts with any current use of it. But some other keyword could be used, or some other notation entirely.

It could look something like this:



public interface Vehicle {
public <T:this> T copy();
}
public class Car implements Vehicle {
public <T:this> T copy() { ... }
}

Suppose my public method readThing() is declared to throw IOException. Someone uses it in a try-catch block. I then revise readThing() to handle the exception and not throw anything. Now they should...