Unboxed closure: infer move when passing an unboxed closure to Fn* + Send

[carllerche]

It would be really amazing if in the following snippet, the "move" was inferred by the fact that the closure is passed as a Fn* + Send. Aka, that move was inferred by the Send trait.

fn stuff<F: FnOnce() + Send>(f: F) {
}

pub fn main() {
    stuff(move |:| println!("hello"));
}

[huonw]

It seems this would be better suited by tying to 'static instead of Send; especially given rust-lang/rfcs#458.

[nikomatsakis]

I am not sure whether to implement this inference or not. See thoughts here: http://discuss.rust-lang.org/t/on-the-topic-of-inferring-move-closures/1438

And yes @huonw I've been assuming we would tie it to 'static, not Send.

[nikomatsakis]

Conclusion from the thread was "won't fix".