Why is C# unable to infer the generic type argument type from a non-generic static method's signature?

Question

I have conducted the following inference tests:

static class InferenceTest {
    static void TakeInt(int a) { }
    static int GiveInt() { return 0; }
    static         


        

Answer 1

In general, a method name will not uniquely identify a unique type Action to which the method group could be assigned. For example, even if there's only one overload of Fred and it takes a single Cat argument, that overload could be assigned not just to an Action, but also to some other types like Action, Action, or Action