Уточнение типов параметров за счет контекста

[impworks]

Данный скрипт не компилируется:

5.times (println _)

Проблема в том, что попытка определить подходящее переопределение метода println совершается без знания о контексте. Тут было бы логично развернуть ЧПФ в неуточненную лямбду, которая бы получила тип параметра из контекста.

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

var fx = println _

[impworks]

Слишком сильно усложняет InvocationNode. С учетом редкости использования думаю, что пока это не нужно.