checker/tests/nullness/generics/Issue335.java

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

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

class Pair<A, B> {
  static <C, D> Pair<C, D> of(@Nullable C first, @Nullable D second) {
    throw new RuntimeException();
  }
}

class Optional<S> {
  static <T> Optional<T> of(T reference) {
    throw new RuntimeException();
  }
}

public class Issue335 {
  Optional<Pair<String, String>> m(String one, String two) {
    return Optional.of(Pair.of(one, two));
  }
}