0
Fix validation on substituted callee bodies in MIR inliner by compiler-errors ·...
source link: https://github.com/rust-lang/rust/pull/122168
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Conversation
Member
When inlining a coroutine, we will substitute the MIR body with the args of the call. There is code in the MIR validator that attempts to prevent query cycles, and will use the coroutine body directly when it detects that's the body that's being validated. That means that when inlining a coroutine body that has been substituted, it may no longer be parameterized over the original args of the coroutine, which will lead to substitution ICEs.
Fixes #119064
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK