Main.n(16,3):Error: each overload has an error during call:
Main.n(16,3):Error: overload #1, "method Program.Foo(_N_wildcard_2768 : object, _N_wildcard_2769 : System.Func[System.Func[int], int]) : void" fail because:
Main.n(16,3):Error: in argument #2 (_N_wildcard_2769), needed a System.Func[System.Func[int], int], got void -> ?+ -> ?: void -> ?+ -> ? is not a subtype of System.Func[System.Func[int], int] [simple require]
Main.n(13,2):Warning: hint: overload defination
Main.n(16,3):Error: overload #2, "method Program.Foo(_N_wildcard_2766 : string, _N_wildcard_2767 : System.Action[System.Action]) : void" fail because:
Main.n(16,3):Error: in argument #2 (_N_wildcard_2767), needed a System.Action[System.Action], got void -> ?+ -> ?: void -> ?+ -> ? is not a subtype of System.Action[System.Action] [simple require]
Main.n(12,2):Warning: hint: overload defination 39.

VD>... если компилировать сами знаете чем

void -> ?+ -> ?: void -> ?+ -> ?

using System;

class A
{
  static void Foo(string x, Action<Action> y) { Console.WriteLine(1); }
  static void Foo(object x, Func<Func<int>,int> y) { Console.WriteLine(2);}

  static void Main()
  {
    Foo(null, x => x());
    Foo(null, x => (x()));
  }
}

1
2

Foo(null, x => (x()));

• If D has a void return type and the body of F is an expression, when each parameter of F is given the type of the corresponding parameter in D, the body of F is a valid expression (wrt §7) that would be permitted as a statement-expression (§8.6).

Action<Action> a = x => (x());
//  ERROR CS0201: Only assignment, call, increment, decrement,
//  and new object expressions can be used as a statement.

6.5 Anonymous function conversions
• If D has a non-void return type and the body of F is an expression, when each parameter of F is given the type of the corresponding parameter in D, the body of F is a valid expression (wrt §7) that is implicitly convertible to the return type of D.

Foo(null, x => x());

• В случае приведения лямбды к Action<Action>, её тело будет представлять собой invocation-expression, который будет являться валидным statement-expression, то есть перегрузка void Foo(string x, Action<Action> y) является applicable function member.
  
  
• В случае приведения лямбды к Func<Func<int>, int>, её тело так же будет представлять собой invocation-expression, причём его возвращаемое значение имеет тип, равный типу возвращаемого значения делегата, то есть перегрузка void Foo(object x, Func<Func<int>,int> y) тоже applicable.

7.4.3.2 Better function member
• for each argument, the implicit conversion from Ex to Qx is not better than the implicit conversion from Ex to Px, and
• for at least one argument, the conversion from Ex to Px is better than the conversion from Ex to Qx.

7.4.3.4 Better conversion from type
• If an implicit conversion from T1 to T2 exists, and no implicit conversion from T2 to T1 exists, C1 is the better conversion.

N>using System;

N>class A
N>{
N>  static void Foo(string x, Action<Action> y) { Console.WriteLine(1); }
N>  static void Foo(object x, Func<Func<int>,int> y) { Console.WriteLine(2);}

N>  static void Main()
N>  {
N>    Foo(null, x => x());
N>    Foo(null, x => (x()));
N>  }
N>}
N>

Main.n(16,3):Error: each overload has an error during call:
Main.n(16,3):Error: overload #1, "method Program.Foo(_N_wildcard_2768 : object, _N_wildcard_2769 : System.Func[System.Func[int], int]) : void" fail because:
Main.n(16,3):Error: in argument #2 (_N_wildcard_2769), needed a System.Func[System.Func[int], int], got void -> ?+ -> ?: void -> ?+ -> ? is not a subtype of System.Func[System.Func[int], int] [simple require]
Main.n(13,2):Warning: hint: overload defination
Main.n(16,3):Error: overload #2, "method Program.Foo(_N_wildcard_2766 : string, _N_wildcard_2767 : System.Action[System.Action]) : void" fail because:
Main.n(16,3):Error: in argument #2 (_N_wildcard_2767), needed a System.Action[System.Action], got void -> ?+ -> ?: void -> ?+ -> ? is not a subtype of System.Action[System.Action] [simple require]
Main.n(12,2):Warning: hint: overload defination
39.

mutable a = "abc";
a = 1;
// expected string-, got int in assigned value: the types int and string are not compatible [simple unify]

П>>p.s. Хотел тут бету скачать, с макросами поиграть, но что-то после таких сообщений об ошибках... "?+", "?" брр

VD>Ну, не качай, если тебе приятна логика по которой работает компилятор C# в этюдах Никова .

П>Сути?! По какой сути?! Где?! Где я написал, что отказался от языка?!?

p.s. Хотел тут бету скачать, с макросами поиграть, но что-то после таких сообщений об ошибках... "?+", "?" брр