Лямбда-выражение и универсальный метод

Предположим, у меня есть универсальный интерфейс:

interface MyComparable<T extends Comparable<T>>  {

    public int compare(T obj1, T obj2);

}

и метод sort:

public static <T extends Comparable<T>> 

       void sort(List<T> list, MyComparable<T> comp) {

    // sort the list

}

я могу вызвать этот метод и передаем лямбда-выражение в качестве аргумента:

List<String> list = Arrays.asList("a", "b", "c");

sort(list, (a, b) -> a.compareTo(b));

это будет работать нормально.

но теперь, если я сделаю интерфейс не универсальным, а метод generic:

interface MyComparable {

    public <T extends Comparable<T>> int compare(T obj1, T obj2);

}



public static <T extends Comparable<T>> 

       void sort(List<T> list, MyComparable comp) {

}

а затем вызвать это как:

List<String> list = Arrays.asList("a", "b", "c");

sort(list, (a, b) -> a.compareTo(b));

он не компилируется. Он показывает ошибку в лямбда-выражении говоря:

"целевой метод является универсальным"

ОК, когда я скомпилировал его с помощью javac, он показывает следующие ошибки:

SO.java:20: error: incompatible types: cannot infer type-variable(s) T#1

        sort(list, (a, b) -> a.compareTo(b));

            ^

    (argument mismatch; invalid functional descriptor for lambda expression

      method <T#2>(T#2,T#2)int in interface MyComparable is generic)

  where T#1,T#2 are type-variables:

    T#1 extends Comparable<T#1> declared in method <T#1>sort(List<T#1>,MyComparable)

    T#2 extends Comparable<T#2> declared in method <T#2>compare(T#2,T#2)

1 error

из этого сообщения об ошибке, похоже, что компилятор не может вывести аргументы типа. Это так? Если да, то почему это происходит так?

я пробовал разные способы, искал через интернет. Тогда я нашел это JavaCodeGeeks статья, который показывает путь, так что я пробовал:

sort(list, <T extends Comparable<T>>(a, b) -> a.compareTo(b));

который снова не работает, вопреки тому, что эта статья утверждает, что она работает. Возможно, что он работал в некоторых начальных сборках.

Итак, мой вопрос: есть ли способ, чтобы создать лямбда-выражение для универсального метода? Я могу сделать это с помощью ссылки на метод, хотя, создав метод:

public static <T extends Comparable<T>> int compare(T obj1, T obj2) {

    return obj1.compareTo(obj2);

}

в каком-то классе говорят SO, и передать его как:

sort(list, SO::compare);