Clean up universe evaluation during type test evaluation#146717
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 18, 2025
Merged
Clean up universe evaluation during type test evaluation#146717bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom