tree 3a83bc9c50c37eca1766e712a454eccf7777d63b
parent a36110d8058bd16bf6b84c32ec2a7d27f86abb4f
parent 442f11065065651014c15aa8d430e798d9acbaa5
author bors <bors@rust-lang.org> 1749727760 +0000
committer bors <bors@rust-lang.org> 1749727760 +0000

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

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