Update Rust 2018 "Path and module system changes" for Rust 1.72#285

Merged

ehuss merged 2 commits intorust-lang:masterfrom

mattheww:2023-09_paths

Sep 6, 2023

Commits on Sep 6, 2023

rust-2018/path-changes: add `::` to the list of things that can start a 'use' path
mattheww
committed
rust-2018/path-changes: updates for Rust 1.72
mattheww
committed