Minor improvement: also allow collect() taking constant.#216
Merged
badmonster0 merged 1 commit intomainfrom Mar 26, 2025
Merged
Minor improvement: also allow `collect()` taking constant.#216badmonster0 merged 1 commit intomainfrom
badmonster0 merged 1 commit intomainfrom