// Test case for issue #428:
// https://github.com/typetools/checker-framework/issues/428

import java.util.List;

public interface Issue428<T extends Number> {}

class Test428 {
  void m(List<Issue428<? extends Object>> is) {
    Issue428<?> i = is.get(0);
  }
}