使用Deconstruct元组赋值扩展方法键入推理

Question

Given some extension methods:

public static TO ConvertValue<TI, TO>(TI value) => (TO)Convert.ChangeType(value, typeof(TO));

public static void Deconstruct<TI, TO1, TO2>(this IEnumerable<TI> src, out TO1 p1, out TO2 p2) {
    var e = src.GetEnumerator();
    p1 = e.MoveNext() ? ConvertValue<TI,TO1>(e.Current) : default(TO1);
    p2 = e.MoveNext() ? ConvertValue<TI,TO2>(e.Current) : default(TO2);
}

Why is it that the C# compiler is unable to infer the types for Deconstruct here:

(double p1, int p2) = new int[] {  1, 2, 3, 4 };

But has no problem inferring the types here?

Ext.Deconstruct(new int[] {  1, 2, 3 }, out int p3, out double p4);

Answer 1

From deconstructions (C# 7.0) documentation :

None of the parameters can be type arguments.

The resolution is equivalent to typing rhs.Deconstruct(out var x1, out var x2, ...); with the appropriate number of parameters to deconstruct into. It is based on normal overload resolution. This implies that rhs cannot be dynamic and that none of the parameters of the Deconstruct method can be type arguments. A Deconstruct(out T x1, out T x2) method will not be found.