checker/tests/nullness/Issue295.java

// Test case for issue 295:
// https://github.com/typetools/checker-framework/issues/295

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

abstract class Issue295 {

  static class Box<T> {
    T value;

    Box(T value) {
      this.value = value;
    }
  }

  abstract <MTL> MTL load(Factory<MTL> p);

  abstract class Factory<TF> {
    abstract TF create();
  }

  <MT1> void f1(Factory<Box<@Nullable MT1>> f) {
    Box<@Nullable MT1> v = f.create();
    v = load(f);
  }

  <MT2> void f2(Factory<Box<@Nullable MT2>> f) {
    Box<? extends @Nullable MT2> v = load(f);
  }

  <MT3> void f3(Factory<Box<MT3>> f) {
    Box<MT3> v = load(f);
  }

  <MT4> void f4(Factory<Box<@Nullable MT4>> f) {
    Box<? extends @Nullable MT4> v = load(f);
  }

  <MT5 extends @Nullable Object> void f5(Factory<Box<MT5>> f) {
    Box<MT5> v = load(f);
  }

  <MT6 extends @Nullable Object> void f6(Factory<Box<MT6>> f) {
    Box<? extends MT6> v = load(f);
  }

  <MT7> void f1noquals(Factory<Box<String>> f) {
    Box<String> v = load(f);
  }
}