diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2020-11-12 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2020-11-12 20:57:43 +0100 |
| commit | d486bfcbff107e8a6769e00c59d02b13c664b6ee (patch) | |
| tree | 267f50c0b37ece0f40806f460e59749f0cb50137 /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 9722952f0bed5815cb22cb4878be09fb39f92804 (diff) | |
| download | rust-d486bfcbff107e8a6769e00c59d02b13c664b6ee.tar.gz rust-d486bfcbff107e8a6769e00c59d02b13c664b6ee.zip | |
Normalize function type during validation
During inlining, the callee body is normalized and has types revealed, but some of locals corresponding to the arguments might come from the caller body which is not. As a result the caller body does not pass validation without additional normalization.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions