rust/compiler
León Orell Valerian Liehr 7a85c5964d
Rollup merge of #143922 - nnethercote:join_path, r=petrochenkov
Improve path segment joining

Currently paths are joined with `::` in many places, in a variety of ways. This PR unifies things.

r? ``@petrochenkov``
2025-07-17 03:58:34 +02:00
..
2025-07-17 08:37:19 +10:00
2025-07-15 09:21:27 +02:00
2025-07-13 13:50:01 +00:00
2025-07-13 13:50:01 +00:00
2025-07-13 13:50:01 +00:00