diff options
| author | bors <bors@rust-lang.org> | 2025-06-12 11:29:20 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-06-12 11:29:20 +0000 |
| commit | 6c8138de8f1c96b2f66adbbc0e37c73525444750 (patch) | |
| tree | c76b07d01a20ba79944901f9a2c005cc76487216 /compiler/rustc_middle/src/mir/syntax.rs | |
| parent | fd50e1012f79eb93f661adc6f276335e4cfb34ea (diff) | |
| parent | cd1d84e304bced7ef47ae8994ce74c02082310f5 (diff) | |
| download | rust-6c8138de8f1c96b2f66adbbc0e37c73525444750.tar.gz rust-6c8138de8f1c96b2f66adbbc0e37c73525444750.zip | |
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
Diffstat (limited to 'compiler/rustc_middle/src/mir/syntax.rs')
0 files changed, 0 insertions, 0 deletions