mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-26 00:34:06 +00:00
a325bce3cd
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 |
||
---|---|---|
.. | ||
src | ||
.gitignore | ||
Cargo.toml |