nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-14 02:49:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
efd5645e43
rust/compiler/rustc_hir_analysis
History
Matthias Krüger efd5645e43
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
2024-10-31 01:14:03 +01:00
..
src Rollup merge of #132373 - compiler-errors:rpitit-bound, r=fmease 2024-10-31 01:14:03 +01:00
Cargo.toml compiler: Add rustc_abi dependence to the compiler 2024-10-27 21:10:58 -07:00
messages.ftl Reject generic self types. 2024-10-30 10:48:08 +00:00
README.md rustc_typeck to rustc_hir_analysis 2022-09-27 10:37:23 +02:00

README.md

For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.