В данном коде вывод типов не сработал.

using System.Console;

def y(i)
{
    i(1, 2)
}

def x(i, j)
{
    i + j
}

WriteLine("{0}", y(x));

А так работает:

using System.Console;

def y(i)
{
    i(1, 2)
}

def x(i, j)
{
    i + j
}

def z(_ : string, _ : object) : void
{
}

z("{0}", y(x));

Разъясните почему.
Спасибо.

P.S.
Версия 0.9.3.