Skip to content

Apply nested goals certainty to InspectGoals for normalizes-to#142127

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:nested-goals-certainty
Jun 12, 2025
Merged

Apply nested goals certainty to `InspectGoals` for normalizes-to#142127
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:nested-goals-certainty

Commits

Commits on Jun 9, 2025