/*
 * @test
 * @summary Test case for Issue 1275.
 * https://github.com/typetools/checker-framework/issues/1275
 *
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Anomsgtext Lib.java
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker -Anomsgtext Crash.java
 */
public class Crash {
  void crash(Sub o) {
    Sub.SubInner<?> x = o.a().b().b();
    o.a().b().b().c();
  }
}