class A<T>
{
 public T Test(T a, T b)
 {
   return a+b;
 }
}

какое ограничение сделать на T, чтобы код компилировался?

Надо чтоб поддерживал перегр узку сложения

(1) понятно, но как?

Поддержку интерфейса сложения

(2) Number какой-нибудь

или (3)

если он есть такой интерфейс.

Поддержку интерфейса с методом сложения
Например
Interface ИнтерфейсДляСложения
{
  T Test(T a, T b)
}

(3) ты понимаешь, что пишешь? операторы в С# статические, какой тут интерфейс?

string или int либо им подобный клас поддерживающий оператор сложения.

public static T operator +(T A, T B)

(10) куда это писать? чей метод?

(8) http://forum.codenet.ru/q51665/Перегрузка+оператора+в+generic+классе+C%23

(10) это метод класса Т.

(13) ну допустим, но что нам это даст?

(12) ответ значит отрицательный

(14) Возможность писать в коде а + b для объектов типа T

(15) Ответ положительный.
Например
http://www.cyberforum.ru/csharp-beginners/thread404228.html

(16) не взлетает

(17) там нет generic

Можно сделать через абстрактый оператор

abstract class A{
bublic static abstract operator (object a, object b)}

любой класс наследуемый от А должен реализовать абстрактный оператор

class A<T>
where: T A // короче ограничиваем только потомками класса А
{
public T Test(T a, T b)
{
  return a+b;
}
}

http://msdn.microsoft.com/ru-ru/library/d5x73970.aspx

Параметры типа, не имеющие ограничений, например T в открытом классе SampleClass<T>{}, называются неограниченными параметрами типа.  Неограниченные параметры типа подчиняются следующим правилам.
•
Операторы != и == не могут использоваться из-за отсутствия гарантии того, что конкретный аргумент типа будет поддерживать эти операторы.  

•
Их можно преобразовывать в и из объекта System.Object или явно преобразовывать в любой тип интерфейса.  

•
Допускается сравнение со значением NULL.  При сравнении неограниченного параметра со значением null сравнение всегда возвращает результат false, если аргумент типа является типом значения.

(20) static abstract
взаимоисключаются в одном объявлении
(21) это я и так знал

(20)+ добавить в where известные sealed классы (строка, число) которые точно поддерживают этот оператор.

В случае применения ограничения where T : class следует избегать использования операторов == и != с параметром типа, потому что эти операторы выполняют только проверку удостоверения ссылки, но не проверяют равенство величины.  Это верно даже в том случае, если эти операторы перегружаются в тип, который используется в качестве аргумента. В следующим коде иллюстрируется эта особенность; выдается результат false, несмотря на то что класс String используется для перегрузки оператора ==.

(0) decimal

(23) нельзя, потому что:
1. Int32  не класс
2. T:A, T:B читается как одновременная поддержка A и B

http://www.rsdn.ru/article/csharp/newincsharp.xml#EMSAE
Тут написано что не взлетит.

(24) хватит постить все подряд

Возможно получится, если параметры сделать dynamic, но надо как-то материться, если факт. значения не наследуют T

(29) ну это да

Или в теле завести две переменных и через них

(0) Вообще ответ в (27)
Ограничения игнорируются при проверке перегрузки.

Не на этом форуме задаешь вопросы. Хотя бы на RSDN зайди. Там много извращенцев. Они тебе могут предложить утинную типизацию http://www.rsdn.ru/forum/src/3165397.1

Только для примитивных типов перегрузка встроена для других это добавление метода op_Addition