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.