public class Issue3594 { | |
// Throwable is annotated with @UsesObjectEquals, which is an inherited annotation. | |
// So, MyThrowable should be treated as @UsesObjectEquals, too. | |
static class MyThrowable extends Throwable {} | |
void use(MyThrowable t, MyThrowable t2) { | |
boolean b = t == t2; | |
} | |
} |