The explanation is more damning than the devex.

The condition is unsatisfiable, and the engine went ahead and gave a 0-warning result?