Cherry-pick #3375 into verify-rust-std (Import apply_closure into kan… #377

Job	Run time
perf	32m 24s
benchcomp-tests	3m 42s
documentation	2m 11s
regression (macos-13)	35m 4s
regression (ubuntu-20.04)	23m 56s
write-json-symtab-regression	15m 13s
regression (ubuntu-22.04)	23m 45s
regression (macos-14)	18m 27s
	2h 34m 42s

Provide feedback