This program fails to compile:

class Test {
    interface I<R extends Runnable, T> {
         void m();
    }

    {
        I<? extends O, String> succeed = this::ff; //ok
        I<? extends Comparable<String>, String> failed = this::ff; //error
    }

    interface O {}
    private void ff(){}
}