fix: call `delete []` on array allocations#11453

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:fix-pointereric-wieser/lean4:fix-pointerCopy head branch name to clipboard