Welcome! Please see the About page for a little more info on how this works.

+5 votes
in Spec by
retagged by

(s/explain-data (s/coll-of any? :count 1) (range)) hangs.

The coll-prob impl has these lines:

(cond
  ...
  (c/and count (not= count (bounded-count count x)))
  [{:path path :pred `(= ~count (c/count ~'%)) :val x :via via :in in}]
  ...)

So for all non-counted collections with number of items larger than count, this branch is never triggered.
Maybe it should use (bounded-count (inc count) x) instead?

1 Answer

+1 vote
by
...