| import java.util.List; | |
| // See also checker/nullness/generics/WildcardOverride.java | |
| interface AInterface<T> { | |
| public abstract int transform(List<? super T> function); | |
| } | |
| class B implements AInterface<Object> { | |
| // This shouldn't work for nullness as the function won't take possibly nullable values. | |
| @SuppressWarnings({"nullness", "fenum:override.param", "aliasing"}) | |
| @Override | |
| public int transform(List<Object> function) { | |
| return 0; | |
| } | |
| } |