This doesn't have to be a closure any more, btw. (https://github.com/mozilla/rust/pull/9040 meant that the NodeId only get generated after parsing/expansion/stripping.)