Skip to content

refactor: replace Iter(M).size with Iter(M).count #19367

refactor: replace Iter(M).size with Iter(M).count

refactor: replace Iter(M).size with Iter(M).count #19367

check-lean-files

succeeded Oct 31, 2025 in 33s