diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-10-31 01:14:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-31 01:14:03 +0100 |
| commit | efd5645e432fb153dae6b3583d48cb40fbaa14a3 (patch) | |
| tree | 5fe527a4aa42e4bb60db1bb5b355ac8fe522a7c9 /compiler/rustc_codegen_llvm/src/attributes.rs | |
| parent | 271a8c9f43c395cb52820c25ca6863c91c0c73c9 (diff) | |
| parent | d53ca634532d548ad30cb75af3f93030f1b415f4 (diff) | |
| download | rust-efd5645e432fb153dae6b3583d48cb40fbaa14a3.tar.gz rust-efd5645e432fb153dae6b3583d48cb40fbaa14a3.zip | |
Rollup merge of #132373 - compiler-errors:rpitit-bound, r=fmease
Make sure `type_param_predicates` resolves correctly for RPITIT After #132194, we end up lowering the item bounds for an RPITIT in an `ItemCtxt` whose def id is the *synthetic GAT*, not the opaque type from the HIR. This means that when we're resolving a shorthand projection like `T::Assoc`, we call the `type_param_predicates` function with the `item_def_id` of the *GAT* and not the opaque. That function operates on the HIR, and is not designed to work with the `Node::Synthetic` that gets fed for items synthesized by the compiler... This PR reuses the trick we use elsewhere in lowering, where we intercept whether an item comes from RPITIT lowering, and forwards the query off to the correct item. Fixes #132372
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/attributes.rs')
0 files changed, 0 insertions, 0 deletions