diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-31 22:51:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-31 22:51:16 +0200 |
| commit | c73e232d2024b6625da9a17a43641949840d8751 (patch) | |
| tree | d9c6c31ae5ad2ea5e5e5bd11b817791bd8ea884c /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp | |
| parent | 57c57a555bc21b490532be5b43bdf00227f5beaa (diff) | |
| parent | 752e6e13adacd499049985ad9c5f7f4d08b78261 (diff) | |
| download | rust-c73e232d2024b6625da9a17a43641949840d8751.tar.gz rust-c73e232d2024b6625da9a17a43641949840d8751.zip | |
Rollup merge of #114200 - compiler-errors:detect-tail-unsize-then-upcast, r=lcnr
Detect trait upcasting through struct tail unsizing in new solver select Oops, we were able to hide trait upcasting behind a parent unsize goal that evaluated to `Certainty::Yes`. Let's do rematching for `Certainty::Yes` unsize goals with `BuiltinImplSource::Misc` sources (corresponding to all of the other unsize rules) to make sure we end up selecting any nested goals which may be satisfied via `BuiltinImplSource::TraitUpcasting` or `::TupleUnsizing`. r? ``@lcnr``
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions