1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
import java.util.List;
import org.checkerframework.checker.tainting.qual.Untainted;
public class Issue1942 {
public interface LoadableExpression<EXPRESSION> {}
abstract static class OperatorSection<A extends LoadableExpression<A>> {
abstract A makeExpression(List<@Untainted A> expressions);
}
static class BinaryOperatorSection<B extends LoadableExpression<B>> extends OperatorSection<B> {
@Override
// Override used to fail.
B makeExpression(List<@Untainted B> expressions) {
throw new RuntimeException("");
}
}
}
|
