framework/tests/h1h2checker/Issue849.java

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

import org.checkerframework.framework.testchecker.h1h2checker.quals.H1S2;
import org.checkerframework.framework.testchecker.h1h2checker.quals.H1Top;

public class Issue849 {
  class Gen<G> {}

  void polyAll(Gen<Gen<@H1S2 Object>> genGenNonNull) {
    // :: error: (assignment)
    Gen<@H1Top ? extends @H1Top Gen<@H1Top Object>> a = genGenNonNull;
  }
}