[spec] Printing of spec problems buries the failing predicate which should be more prominent

Description

After CLJ-2376, you might see an error like this:

This puts the spec (long, not initially relevant) before the predicate which is more important.

1.9 spec problem line format:

Proposed: Put value and pred first and if there is an internal "reason" that should take precedence.

Proposed format:

Example afterwards:

Patch: clj-2391-3.patch

Environment

None

Activity

Show:
Alex Miller
August 29, 2018, 10:52 AM

Added -2 patch that removes the leading "val:"

Alex Miller
September 5, 2018, 11:14 AM

Applied

Completed

Assignee

Unassigned

Reporter

Alex Miller

Approval

Ok

Patch

Code

Fix versions

Affects versions

Priority

Major