Documentation should also explain what happens with bad args

[JohnAAbbott]

I am considering using the function solve_non_negative. The documentation (from inside a running Julia/Oscar session) says:

help?> solve_non_negative
search: solve_non_negative

  solve_non_negative(as::Type{T}, A::ZZMatrix, b::ZZMatrix) where {T}

  Find all solutions to Ax = b, x>=0. Assumes a finite set of solutions.
...

So what happens if I call the function with an input which violates the assumption? Why is this not documented?

Of course, I could just try it, but, apart from costing me time, it does not tell what the function will do tomorrow or the day after. If the doc guaranteed that the function throws an exception when there are infinitely many solutions then I can write code based on this guarantee.

The same questions arise for every function which "makes assumptions" about it inputs.