// Test case for issue #578: https://github.com/typetools/checker-framework/issues/578
public class Issue578 {
  <A, B> void eval(Helper<B> helper, Interface<A> anInterface) {
    Object o = new SomeGenericClass<>(helper.helperMethod(anInterface));
  }
}

abstract class Helper<C> {
  abstract <D> Interface<C> helperMethod(Interface<D> anInterface);
}

interface Interface<E> {}

final class SomeGenericClass<F> {
  SomeGenericClass(Interface<F> s) {}
}