Nice catch!
Sounds like it could have been a case of divergence over time (but I'm speculating here). Where, at the time of writing the solver code, this would not have been possible, but in the course of years the error state/feature has evolved or changed, or other code was introduced that...