checker/tests/nullness/Issue1983.java

// Test case for Issue 1983:
// https://github.com/typetools/checker-framework/issues/1983

import java.util.List;
import java.util.function.Function;
import org.checkerframework.checker.nullness.qual.Nullable;

public class Issue1983 {

  @SuppressWarnings("initialization.field.uninitialized")
  Converter<String> converter;

  void test(List<Object[]> params) {
    func1(transform(params, p -> of(converter.as((String) p[0]))));
  }

  static class Converter<T> {

    @SuppressWarnings("nullness")
    public Converter<T> as(@Nullable T value) {
      return null;
    }
  }

  @SuppressWarnings("nullness")
  static <T> List<T> of(T t) {
    return null;
  }

  @SuppressWarnings("nullness")
  <V> V func1(List<List<Converter<?>>> bulkParameterValues) {
    return null;
  }

  @SuppressWarnings("nullness")
  static <F, T> List<T> transform(List<F> fromList, Function<? super F, ? extends T> function) {
    return null;
  }
}