// Test case for Issue 133:
// https://github.com/typetools/checker-framework/issues/133
// Upper bound of wildcard depends on declared bound of type variable.
class GenericTest3 {
interface Foo {}
interface Bar<T extends Foo> {
T get();
}
public void test(Bar<?> bar) {
Foo foo = bar.get();
}
}