diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-03-29 15:17:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-29 15:17:10 +0100 |
| commit | 73a42086384028676868f610252bcc71ed946f43 (patch) | |
| tree | 1b824184e21aff7ef7fc11b97e093ce4aa9dd916 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 45796d1c24445b298567752519471cef2cff3298 (diff) | |
| parent | a325bce3cd162a20ecab9ff31def3e6701c8ebea (diff) | |
| download | rust-73a42086384028676868f610252bcc71ed946f43.tar.gz rust-73a42086384028676868f610252bcc71ed946f43.zip | |
Rollup merge of #123176 - celinval:smir-field-ty, r=oli-obk
Normalize the result of `Fields::ty_with_args` We were only instantiating before, which would leak an AliasTy. I added a test case that reproduce the issue seen here: https://github.com/model-checking/kani/issues/3113 r? ``@oli-obk``
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions