diff options
| author | Celina G. Val <celinval@amazon.com> | 2024-03-28 13:19:50 -0700 |
|---|---|---|
| committer | Celina G. Val <celinval@amazon.com> | 2024-03-28 13:22:10 -0700 |
| commit | a325bce3cd162a20ecab9ff31def3e6701c8ebea (patch) | |
| tree | 0da9ff2b9571bb6cf2c19611c57f19cd4bfe9e2c /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | d779a7a25f67fced5f8fea232ef407c5b228a22f (diff) | |
| download | rust-a325bce3cd162a20ecab9ff31def3e6701c8ebea.tar.gz rust-a325bce3cd162a20ecab9ff31def3e6701c8ebea.zip | |
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
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions