Method type inference should make inference from explicit lambda return type

[cston]

The call to F(int (i) => i) should infer F<int>(Func<int, int> f):

using System;

class Program
{
    static void F<T>(Func<T, T> f) { }
    
    static void Main()
    {
        F(int (i) => i); // ok
    }
}

See LDM notes.