resolve: Cleanups and micro-optimizations to extern prelude#144746
Merged
bors merged 4 commits intorust-lang:masterfrom Aug 4, 2025
Merged
resolve: Cleanups and micro-optimizations to extern prelude#144746bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom
Commits
Commits on Jul 31, 2025
- committed
- committed
- committed
- committed
