1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// A test case that should not longer crash once issue #717 is fixed
// https://github.com/typetools/checker-framework/issues/717
public class Issue717 {
public static <T extends Interface<? super T>> void foo2(T a, T b) {
a.compareTo(b);
}
public static <T extends Object & Interface<? super T>> void foo(T a, T b) {
// asSuper doesn't find Interface, so the type variable F is not substituted
// causing isSuptype to be called between Object & Interface and F.
a.compareTo(b);
}
interface Interface<F> {
void compareTo(F t);
}
}
|
