Files
rust/compiler
bors 6c8138de8f 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
2025-06-12 11:29:20 +00:00
..
2025-06-03 10:52:32 -07:00
2025-06-06 14:20:48 +00:00
2025-05-30 02:28:35 +10:00
2025-05-12 15:33:37 +02:00
2025-06-03 14:23:56 +02:00