checker/tests/nullness/Issue679.java

import org.checkerframework.checker.nullness.qual.NonNull;
import org.checkerframework.checker.nullness.qual.Nullable;

// Testcase for Issue #679
// https://github.com/typetools/checker-framework/issues/679
// @skip-test
public class Issue679 {
  interface Interface<T> {}

  class B implements Interface<@NonNull Number> {}

  // :: error: Interface cannot be inherited with different arguments: <@NonNull Number> and
  // <@Nullable Number>
  class A extends B implements Interface<@Nullable Number> {}
}