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 1705
// https://github.com/typetools/checker-framework/issues/1705
import java.util.function.Function;
import org.checkerframework.checker.tainting.qual.PolyTainted;
import org.checkerframework.checker.tainting.qual.Untainted;
public class Issue1705 {
static class MySecondClass<X> {
@PolyTainted MySecondClass<X> doOnComplete(@PolyTainted MySecondClass<X> this) {
throw new RuntimeException();
}
}
<R> @PolyTainted R to(@PolyTainted Issue1705 this, Function<? super Issue1705, R> arg0) {
throw new RuntimeException();
}
static <T> Function<? super T, MySecondClass<T>> empty() {
throw new RuntimeException();
}
void test(@Untainted Issue1705 a) {
@Untainted Object z = a.to(empty()).doOnComplete();
}
}
|
