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

import java.util.List;

interface Issue428<T extends Number> {}

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