| 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(""); |
| } |
| } |
| } |