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

interface PolyFunc {
    @PolyNull String method(@PolyNull String in);
}

interface NonNullFunc {
    @NonNull String method(@NonNull String in);
}

interface MixedFunc {
    @NonNull String method(@Nullable String in);
}

class Context {

    static @PolyNull String poly(@PolyNull String in) {
        return in;
    }

    static String nonPoly(String in) {
        return in;
    }

    void context() {
        PolyFunc f1 = Context::poly;
        // :: error: (methodref.param.invalid)
        PolyFunc f2 = Context::nonPoly;

        NonNullFunc f3 = Context::poly;
        // :: error: (methodref.return.invalid)
        MixedFunc f4 = Context::poly;
    }
}