[Proposal]: calling static generic method in generic class without the generic type of the class like java

[qhc99]

FEATURE_NAME

• Proposed
• Prototype: Not Started
• Implementation: Not Started
• Specification: Not Started

Summary

A small grammer improvement. It doesn't have any effect to fill a type in a generic class when calling its' generic static method since the method is generic itself(class generic type doesn't equal method generic type or else it will raise warning CS0693). Calling the method without specifiing a type for the class should be legal

Motivation

more elegant grammer

Detailed design

see the calling of "MethodA", it is very easy to understand this case.

using System;

namespace CSharpScripts
{
    public static class Program
    { 
        public static void Main(string[] args)
        {
            // there is no need to sepecify a type for ClassA 
            // in fact any type can be sepecified here(e.g. int, double, ...).
            // but ClassA.MethodA(1) won't compile
            // java dose't have this problem
            ClassA<object>.MethodA(1);
        }

        public class ClassA<T>
        {
            public static void MethodA<TI>(TI ti)
            {
                Console.WriteLine(ti);
            }
        }
        
    }
}

also note the case in "using static"

using System;
// the design should be "using static CSharpScripts.Program.ClassA";
using static CSharpScripts.Program.ClassA<bool>;

namespace CSharpScripts
{
    public static class Program
    { 
        public static void Main(string[] args)
        {
            MethodA(1);
        }

        public class ClassA<T>
        {
            public static void MethodA<TI>(TI ti)
            {
                Console.WriteLine(ti);
            }
        }
        
    }
}

these two pieces of code run normally in my computer.

Drawbacks

Java has this feature and it is definitely not harmful

Alternatives

Don't fix it and specify the type infered by the method. But it dosen't have any effect on program and it maybe confusing when someone specify a type that doesn't equal with the infered type.

Unresolved questions

Design meetings

[YairHalberstadt]

Java doesn't have generics at runtime and so all static methods on a generic class are actually the same. In C# this is not the case - theoretically a different method is compiled for every type parameter used in static method (ignoring done optimisations to share generated code) and so the type parameter must be set.

E.g, this is legal in c#:

static class A<T> where T : struct
{
     static object New() => new T();
}

A.New(); //what would this return?

[qhc99]

I've understood it, thanks!