Opaque `such-that` error when using `##NaN` as bound

描述

(mg/generate [:>= ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:> ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:< ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:<= ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:double {:max ##NaN}])
;Couldn't satisfy such-that predicate after 10 tries.

贡献者指南

技术栈

无

领域

data

议题类型

bug

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

3

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

under 1 hour

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

blocked

清晰度议题是否清楚说明期望改动、验收标准和下一步。

clear

前置要求

Clojure basicsNaN handling

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

20

研究方向

Investigate the such that predicate generation in the generator implementation for double. Look at how bounds are validated in the generator code (likely in src/malli/generator.cljc or similar). The issue arises when using ##NaN as a bound; the generator fails after 10 tries. Consider adding a specific check for NaN bounds to skip or handle appropriately.