public class Foo<T>
{
public Foo(T value) { }
}
public class Foo
{
public Foo(int value) { }
}
// suppose type parameter inference in constructor calls
var x = new Foo(5); // which one?
Поскольку вы можете объявить два типа с тем же именем, один общий и один не общий, вам необходимо однозначно решить между ними в вызове конструктора. Принудительное определение параметров типа является одним из способов устранения любой возможной двусмысленности. Язык может иметь некоторые правила разрешения для этого, но преимущества этой функции достаточно, чтобы тратить бюджет на ее реализацию.