upstream rust: replace proc() with move||