solveset issue when solving Piecewise with conditions not involving the symbol of interest

[smichr]

>>> solveset_real(Piecewise((x, y<0), (x + 1, True)), x)
EmptySet()

I think the solution should be Piecewise((0, y < 0), (-1, True)).

[smichr]

This is still not working in master, #10550 would need some attention to get the changes there to merge with master.

[smichr]

I don't think the answer can be {-1, 0} because this is not true for each condition.

In solveset notation, I think this would be Piecewise(({0}, y < 0), ({-1}, True)). Is there a way to represent a Piecewise set?

[smichr]

For a univariate Piecewise the result is ok:

>>> solveset(Piecewise((x**2-4,x<5),(x**2-36,True)),x,Reals)
{-2, 2, 6}

[czgdp1807]

Update:
Currently the issue is still unresolved.