泛型和"二元操作符的一个形参必须是包含类型"错误

声明二进制操作符时，至少有一个操作数类型必须是包含类型。这听起来是一个很好的设计决策。但是，我没想到下面的代码会导致这个错误:

public class Exp<T>
{
    public static Exp<int> operator +(Exp<int> first, Exp<int> second)
    {
        return null;
    }
}

这个运算符有什么问题?为什么这种情况属于c#的操作符重载限制?允许这种申报有危险吗?