diff options
| author | bors <bors@rust-lang.org> | 2024-06-12 03:35:31 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-06-12 03:35:31 +0000 |
| commit | 76c73827dcd0b363e60b22c3cef64bde4171bf17 (patch) | |
| tree | fd68f4571bdb2039c0dd6a0f7b7726b2a5c276fb /tests/coverage/assert-ne.coverage | |
| parent | 9a7bf4ae947feddac27007cbe26d161f4ff5a910 (diff) | |
| parent | e4be97cfe763fc5550e048ae3db288fd27a1954c (diff) | |
| download | rust-76c73827dcd0b363e60b22c3cef64bde4171bf17.tar.gz rust-76c73827dcd0b363e60b22c3cef64bde4171bf17.zip | |
Auto merge of #126130 - compiler-errors:goal-relations, r=lcnr
Make `ObligationEmittingRelation`s emit `Goal` rather than `Obligation` Helps avoid needing to uplift `Obligation` into the solver. We still can't get rid of `ObligationCause`, but we can keep it as an associated type for `InferCtxtLike` and just give it a `dummy` function. There's some shuttling between `Goal` and `Obligation` that may be perf-sensitive... Let's see what rust-timer says. r? lcnr
Diffstat (limited to 'tests/coverage/assert-ne.coverage')
0 files changed, 0 insertions, 0 deletions