Task cleanup code needs to know more about closure env to clean it up

[marijnh]

This program currently leaks because the function env containing a pointer is freed simply with free, without iterating over its contents.

Which also raises the question of whether migrate_alloc should recursively migrate all sub-allocs.

use std;

fn x(_f: [int]) {}
fn main() {
    std::task::spawn(bind x([1, 2, 3, 4, 5]));
}

[marijnh]

(Or maybe this is an entirely obvious TODO.)

[eholk]

Thanks for documenting this issue. I think the right thing is to use the shape stuff to make sure we're freeing the environment the right way. migrate_alloc should probably be shape-aware too.

[brson]

I believe this was a deficiency of a previous iteration of the spawn code. The task cleanup code frees the task closure properly now.