diff options
| author | Michael Goulet <michael@errs.io> | 2024-05-03 23:34:21 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-03 23:34:21 -0400 |
| commit | e3bf0a13cfde765ae572a3f7ec616149d2e0b957 (patch) | |
| tree | 2ce7f0e2c775425f4c184b4a28f6ebb8667f9099 /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | 09cd00fea4aecaa6707f122d7e143196b8a12ee2 (diff) | |
| parent | 34e91ece9033d0a354f1a42a67a69df9b46a27b0 (diff) | |
| download | rust-e3bf0a13cfde765ae572a3f7ec616149d2e0b957.tar.gz rust-e3bf0a13cfde765ae572a3f7ec616149d2e0b957.zip | |
Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr
Use a proof tree visitor to refine the `Obligation` for error reporting in new solver With the magic of `ProofTreeVisitor`, we can close the gap that we have on `ObligationCause`s being not as descriptive in the new trait solver. r? lcnr Needs some work and obviously documentation.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions