checker/jtreg/nullness/issue257/Module.java

/*
 * @test
 * @summary Test for Issue 257
 *
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker Small.java
 *
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker ClientBuilder.java Module.java
 *
 * @compile -XDrawDiagnostics ClientBuilder.java
 */
public class Module {
  void buildClient() {
    ClientBuilder<?> builder = ClientBuilder.newBuilder().setThing().setThing();
  }

  void smaller() {
    ClientBuilder<? extends ClientBuilder<? extends ClientBuilder<? extends ClientBuilder<?>>>>
        builder = ClientBuilder.newBuilder();
  }
}