1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// Test case for Issue 1712
// https://github.com/typetools/checker-framework/issues/1712
abstract class Issue1712 {
abstract <T> T match(
Function<? super SubclassA, T> visitA, Function<? super SubclassB, T> visitB);
class SubclassA extends Issue1712 {
@Override
<T> T match(Function<? super SubclassA, T> visitA, Function<? super SubclassB, T> visitB) {
return visitA.apply(this); // line 11
}
}
class SubclassB extends Issue1712 {
@Override
<T> T match(Function<? super SubclassA, T> visitA, Function<? super SubclassB, T> visitB) {
return visitB.apply(this); // line 18
}
}
abstract class Function<T1, T2> {
abstract T2 apply(T1 arg);
}
}
|
