// Test case for Issue 247:
// https://github.com/typetools/checker-framework/issues/247

interface Foo {}

interface Bar {}

class Baz implements Foo, Bar {}

public class IntersectionTypes {
  void foo() {
    Baz baz = new Baz();
    call(baz);
  }

  <T extends Foo & Bar> void call(T p) {}
}