Skip to content

Clean up universe evaluation during type test evaluation#146717

Merged
bors merged 1 commit intorust-lang:masterfrom
amandasystems:remove-placeholder-hack
Sep 18, 2025
Merged

Clean up universe evaluation during type test evaluation#146717
bors merged 1 commit intorust-lang:masterfrom
amandasystems:remove-placeholder-hack

Commits

Commits on Sep 18, 2025