Нулевые дженерики в методах - необходимо объяснить ⇐ C#

[Anonymous]

Кто-нибудь может объяснить, почему это разрешено:

Код: Выделить всё

class A1
{
public virtual T? F1(T? t) where T : struct { throw new NotImplementedException(); }
public virtual T? F1(T? t) where T : class { throw new NotImplementedException(); }

}

а этого нет:

Код: Выделить всё

class A1
{
public virtual T? F1(T t) where T : struct { throw new NotImplementedException(); }
public virtual T? F1(T t) where T : class { throw new NotImplementedException(); }

}

"type 'a1' уже определяет участник, называемый 'f1' с теми же типами параметров"
Разница Является ли это во втором случае аргументы не являются облегательными.>

Подробнее здесь: https://stackoverflow.com/questions/793 ... xplanation