// Test case for Issue #803
// https://github.com/typetools/checker-framework/issues/803
// @skip-test

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

interface GenFunc {
  <T extends @Nullable Number, U extends @Nullable Number> T apply(U u);
}

interface GenFunc2 {
  <T extends @Nullable Number, U extends @NonNull Number> T apply(U u);
}

class TestGenFunc {
  static <V extends @NonNull Number, P extends @Nullable Number> V apply(P u) {
    throw new RuntimeException("");
  }

  void context() {
    GenFunc f = TestGenFunc::apply;
    // :: error: (methodref.param)
    GenFunc2 f2 = TestGenFunc::apply;
  }
}