(s/explain-data (s/coll-of any? :count 1) (range))
发生挂起。
coll-prob
实现有以下行
(cond
...
(c/and count (not= count (bounded-count count x)))
[{:path path :pred `(= ~count (c/count ~'%)) :val x :via via :in in}]
...)
因此,对于所有非计数的集合,如果其中包含的元素数量大于 count
,则此分支永远不会被触发。
也许它应该使用 (bounded-count (inc count) x)
代替?