TypeVarAssign.java

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

// @skip-test We can only handle this after we get better method inference.

interface Fn<T> {
    T func(T t);
}

class TestAssign {
    <M extends @NonNull Object> void foo(Fn<M> f) {}

    void context() {
        foo((@NonNull String s) -> s);
    }
}