Module c2rust_refactor::path_edit

fold_resolved_paths function, for rewriting paths based on their resolved DefId.

Functions

fold_resolved_paths	Rewrite paths, with access to their resolved Defs in the callback.
fold_resolved_paths_with_id	Like fold_resolved_paths, but also passes the NodeId of the AST node containing the path. (Paths don't have NodeIds of their own.)