mozilla/rust — pull request #7119 by bblum (2013-06-13 23:48:15+00:00)
Title: Kind-check closure freevars against destination builtin bounds.

r? @nikomatsakis

Things this doesn't check for:
* doesn't treat stack closure freevars as implicit borrows
* doesn't add more capabilities at closure usage sites
* doesn't restrict capabilities at same (i.e., still can copy stack closures that capture &mut)
* doesn't do trait bounds