diff options
| author | Jubilee <workingjubilee@gmail.com> | 2024-11-08 20:46:12 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-08 20:46:12 -0800 |
| commit | 7a4970476e8a9cb387ca48a14a657051769b094f (patch) | |
| tree | d17e627b0f5a78ae04210b464cfee240e3ec50fd /compiler/rustc_codegen_llvm/src/builder.rs | |
| parent | 1077c08ad5fbf4c8aad28e8681fa80d9297005bc (diff) | |
| parent | 97dfe8b87115c44d480b6282aae7754e7c4ab4fe (diff) | |
| download | rust-7a4970476e8a9cb387ca48a14a657051769b094f.tar.gz rust-7a4970476e8a9cb387ca48a14a657051769b094f.zip | |
Rollup merge of #132757 - compiler-errors:yeet-check-wf, r=lcnr
Get rid of `check_opaque_type_well_formed` Instead, replicate it by improving the span of the opaque in `check_opaque_meets_bounds`. This has two consequences: 1. We now prefer "concrete type differs" errors, since we'll hit those first before we check the opaque is WF. 2. Spans have gotten slightly worse. Specifically, (2.) could be improved by adding a new obligation cause that explains that the definition's environment has stronger assumptions than the declaration. r? lcnr
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/builder.rs')
0 files changed, 0 insertions, 0 deletions