Почему этот вызов метода неоднозначен?

Question

Почему первый вызов Foo ниже компилируется, а второй вызывает неоднозначную ошибку компиляции вызова?

(используя c # 7.2)

    private static void AmbiguousAsyncOverload() {
      Foo(() => Bar());  // This is OK
      //Foo(Bar);        // Error, ambiguous overload
    }

    private static void Foo(Func<int> func) {
      func();
    }

    private static void Foo(Func<string> func) {
      func();
    }

    private static int Bar() {
      return 4;
    }

Если я удаляю первую (Func<int>) реализацию Foo и, следовательно, возможность двусмысленности, то компилятор (правильно) сообщает, что Bar не имеет правильной сигнатуры для передачи в Foo, что означает, что у него достаточно информации, чтобы устранить неоднозначность.

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

Answer 1

Это была проблема для всех версий C # вплоть до исправления в v7.3. Типы возврата не были приняты во внимание при разрешении перегрузки. Из заметок о выпуске (или языкового предложения ) для C # 7.3:

3. При преобразовании группы методов из набора удаляются подходящие методы, тип возвращаемых данных которых не совпадает с типом возврата делегата.