Skip to content

fix: use general allocator for closures #19181

fix: use general allocator for closures

fix: use general allocator for closures #19181

check-lean-files

succeeded Oct 27, 2025 in 14s