import org.checkerframework.framework.testchecker.util.*;

// Test case for Issue 131:
// https://github.com/typetools/checker-framework/issues/131
public class GenericTest1 {
  public interface Foo<T> {}

  public interface Bar<T, C, E extends Foo<C>> extends Foo<T> {}

  public <T> void test(Foo<T> foo) {
    Bar<?, ?, ?> bar =
        foo instanceof Bar<?, ?, ?>
            // TODO flow: support instanceof / cast flow.
            // Warning only with -AcheckCastElementType.
            // TODO:: warning: (cast.unsafe)
            ? (Bar<?, ?, ?>) foo
            : null;
  }
}