I would expect this code to compile: ``` rust fn work(_: ~int) {} fn foo(_: proc()) {} fn main() { let a = ~1; do foo { do foo { work(a) } } } ``` cc @nikomatsakis, @pcwalton