checker/jtreg/nullness/issue1958/SupplierDefs.java

/*
 * @test
 * @summary Test annotations on type parameters in extends.
 *
 * @compile -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker SupplierDefs.java
 * @compile/fail/ref=NPE2Test.out -XDrawDiagnostics -processor org.checkerframework.checker.nullness.NullnessChecker NPE2Test.java -Anomsgtext
 */

import java.util.function.Supplier;
import org.checkerframework.checker.nullness.qual.*;

public class SupplierDefs {
  public abstract static class Supplier<R> {
    public abstract R get();
  }

  public static class NullSupplier extends Supplier<@Nullable String> {
    @Override
    public @Nullable String get() {
      return null;
    }
  }

  public static class NullInterface implements MyInterface<@Nullable String> {
    @Override
    public @Nullable String getT() {
      return null;
    }
  }

  public static class NullSupplierMyInterface extends Supplier<@Nullable String>
      implements MyInterface<@Nullable String> {
    @Override
    public @Nullable String get() {
      return null;
    }

    @Override
    public @Nullable String getT() {
      return null;
    }
  }

  public interface MyInterface<T> {
    T getT();
  }
}