Auto merge of #142127 - compiler-errors:nested-goals-certainty, r=lcnr

Browse Source

Apply nested goals certainty to `InspectGoals` for normalizes-to

...so that normalizes-to goals don't have `Certainty::Yes` even if they have nested goals which don't hold.

r? lcnr

...

This commit is contained in:

bors 2025-06-12 11:29:20 +00:00

parent a36110d805 442f110650

commit 06a7b508ca

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available