Solve: request symbol + multiples var + eqs + ineq return non sense

[latot]

Hi, it feels its little strong say non sense, but this don't have it, when we have this conditions the system don't is solved and returns the same value to all requested vars:

>>> solve([Eq(x+y,0), Eq(x-y, 0), x>0], x)
And(0 < x, Eq(x, -y), Eq(x, y), x < oo)
>>> solve([Eq(x+y,0), Eq(x-y, 0), x>0], y)
And(0 < x, Eq(y, -x), Eq(y, x), x < oo)

Thx. Cya.