diff options
| author | Esteban Kuber <esteban@kuber.com.ar> | 2021-10-05 23:04:09 +0000 |
|---|---|---|
| committer | Esteban Kuber <esteban@kuber.com.ar> | 2021-11-20 18:54:31 +0000 |
| commit | 6b9d910639d50a26cec46e326e1556665b22decf (patch) | |
| tree | 773eff83fdd65cbe5b397373665889c97d4eccb2 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 93542a8240c5f926ac5f3f99cef99366082f9c2b (diff) | |
| download | rust-6b9d910639d50a26cec46e326e1556665b22decf.tar.gz rust-6b9d910639d50a26cec46e326e1556665b22decf.zip | |
Point at source of trait bound obligations in more places
Be more thorough in using `ItemObligation` and `BindingObligation` when evaluating obligations so that we can point at trait bounds that introduced unfulfilled obligations. We no longer incorrectly point at unrelated trait bounds (`substs-ppaux.verbose.stderr`). In particular, we now point at trait bounds on method calls. We no longer point at "obvious" obligation sources (we no longer have a note pointing at `Trait` saying "required by a bound in `Trait`", like in `associated-types-no-suitable-supertrait*`). Address part of #89418.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions