diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2025-02-01 01:19:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-01 01:19:19 +0100 |
| commit | 3c4b9122ec951f493cc2677b354d80202323bf1f (patch) | |
| tree | 98a187d0980c69a2e6eac0169a418478f79da535 /compiler/rustc_mir_transform/src/coverage/query.rs | |
| parent | 2460b280db29315baec8920765baf24ac19f90a8 (diff) | |
| parent | 304b3cfcb298c6bd6f7644ec3c78f28dd72eba1c (diff) | |
| download | rust-3c4b9122ec951f493cc2677b354d80202323bf1f.tar.gz rust-3c4b9122ec951f493cc2677b354d80202323bf1f.zip | |
Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnr
Manually walk into WF obligations in `BestObligation` proof tree visitor When we encounter a `WellFormed` obligation in the `BestObligation` proof tree visitor, ignore the proof tree and call `wf::unnormalized_obligations` to derive well-formed obligations with the correct cause codes. This is to avoid having to replicate the somewhat delicate logic that `wf.rs` does to set up its obligation causes... Don't see a better way to do this. vibes?? r? lcnr
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/query.rs')
0 files changed, 0 insertions, 0 deletions