Proposal: Method type-parameter-list inference

[alrz]

Considering #1042, #1470, #2114, #2319, #4423, #5168, #5429 and others, there is a strong demand for a more powerful type inference in C#. Although, this one is missing:

public TResult F<>(T arg) {}

Compiler would infer types that are not in the scope as type parameters in order of args first and then the return type.

This also can be extended to use in delegates and record type declarations.

public struct ValueTuple<>(T1 item1,T2 item2);
public delegate void Action<>(TArg1,TArg2); // using #6115

[HaloFour]

Typos turning into generic type parameters? No thanks.

[alrz]

@HaloFour this could be addressed by forcing TName convention but currently there is no such behavior in the language.

[paulomorgado]

+1 @HaloFour

[alrz]

@paulomorgado come on, this is already closed :))