Matthias Krüger 3d9ee88ea2 Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r=cjgillot ... Fix validation on substituted callee bodies in MIR inliner 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		2024-03-24 01:05:51 +01:00
..
const_eval	tag_for_variant follow-ups	2024-03-23 10:45:42 +01:00
interpret	Auto merge of #122629 - RalfJung:assert-unsafe-precondition, r=saethlin	2024-03-23 21:11:00 +00:00
transform	Rollup merge of #122168 - compiler-errors:inline-coroutine-body-validation, r=cjgillot	2024-03-24 01:05:51 +01:00
util	Programmatically convert some of the pat ctors	2024-03-22 11:13:29 -04:00
errors.rs	Rename some things around validation error reporting to signal that it is in fact about validation failures	2024-03-14 12:21:35 +00:00
lib.rs	Add tag_for_variant query	2024-03-22 17:01:49 +00:00