7.5.2.1Первый этап

Для каждого аргумента метода E_i:

• Если Ei является анонимной функцией, выполняется явный вывод типа параметра (§7.5.2.7) из E_i к T_i

• В противном случае, если E_i имеет тип U, а x_i - параметр значения, выполняется вывод по нижней границе от U до T_i.

• В противном случае, если E_i имеет тип U, а x_i - ссылка или параметр out, выполняется точный вывод от U до T_i.

• В противном случае вывод для этого аргумента не выполняется.

7.5.2.2Второй этап

Второй этап продолжается следующим образом.

• Фиксируются все нефиксированные переменные типа X_i, которые не зависят (§7.5.2.5) от каких-либо X_j (§7.5.2.10).

• Если таких переменных типа нет, то фиксируются все нефиксированные переменные типа X_i, для которых верно, что

  • существует по крайней мере одна переменная типа X_j, которая зависит от X_i;

  • у X_i имеется непустой набор границ.

• Если таких переменных типа не существует и все еще остаются нефиксированные переменные типа, то вывод типа завершается сбоем.

• Иначе, если нефиксированных переменных типа больше не существует, вывод типа завершается успешно.

• Иначе для всех аргументов E_i с соответствующим типом параметра T_i, где выходные типы (§7.5.2.4) содержат нефиксированные переменные типа X_j, а входные типы (§7.5.2.3) не содержат, выполняется вывод выходного типа (§7.5.2.6) из E_i к T_i. После этого второй этап повторяется.

7.5.2.3Типы ввода

Если E является группой методов или анонимной функцией с неявным указанием типа, а T является типом делегата или типом дерева выражения, то все типы параметров T являются типами ввода E с типом T.

7.5.2.4 Типы вывода

Если E является группой методов или анонимной функцией, а T является типом делегата или типом дерева выражения, то типом возвращаемого значения T является тип вывода E с типом T.

7.5.2.5Зависимость

Нефиксированная переменная типа X_i непосредственно зависит от нефиксированной переменной типа X_j, если для некоторого аргумента E_k с типом T_k X_j оказывается в типе ввода E_k с типом Tk, а X_i оказывается в типе вывода E_k с типом T_k.

X_j зависит от X_i, если X_j непосредственно зависит от X_i или если X_i непосредственно зависит от X_k и X_k зависит от X_j. Таким образом, отношение «зависит от» является транзитивным, но не является рефлексивным замыканием отношения «непосредственно зависит от».

7.5.2.6Вывод типа вывода

Вывод типа вывода выполняется из выражения E с типом T следующим образом:

• Если E является анонимной функцией с полученным типом возвращаемого значения U (§7.5.2.12), а T является типом делегата или типом дерева выражения с типом возвращаемого значения T_b, то выполняется вывод по нижней границе (§7.5.2.9) из U к T_b.

• Иначе, если E является группой методов, а T является типом делегата или типом дерева выражений с типами параметров T₁…T_k и типом возвращаемого значения T_b, и разрешение перегрузки E с типами T₁…T_k дает один метод с типом возвращаемого значения U, то выполняется вывод по нижней границе из U к T_b.

• Иначе, если E является выражением с типом U, то выполняется вывод по нижней границе из U к T.

• Иначе вывод не производится.