diff options
| author | bors <bors@rust-lang.org> | 2022-12-10 11:30:14 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-12-10 11:30:14 +0000 |
| commit | 632f80479763b325b396ac6633cad5235379a47d (patch) | |
| tree | 352041fec17aba7c1dd5da8c00c3547f81e2bdfb /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 518e39bfe6e0f8b3502ffb296dba82d1a2ba9dd5 (diff) | |
| parent | 34b11d99815e257f0502d06c5951f3126d049e95 (diff) | |
| download | rust-632f80479763b325b396ac6633cad5235379a47d.tar.gz rust-632f80479763b325b396ac6633cad5235379a47d.zip | |
Auto merge of #13750 - lowr:fix/rpit-in-projection, r=flodiebold
fix: normalize projection after discarding free `BoundVar`s in RPIT Fixes #13307 When we lower the return type of a function, it may contain free `BoundVar`s in `OpaqueType`'s substitution, which would cause panic during canonicalization as part of projection normalization. Those `BoundVar`s are irrelevant in this context and will be discarded, and we should defer projection normalization until then.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions