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 |
||
|---|---|---|
| .. | ||
| check_abi.rs | ||
| check_allocation.rs | ||
| check_defs.rs | ||
| check_foreign.rs | ||
| check_instance.rs | ||
| check_item_kind.rs | ||
| check_normalization.rs | ||
| check_trait_queries.rs | ||
| check_transform.rs | ||
| check_ty_fold.rs | ||
| compilation-result.rs | ||
| crate-info.rs | ||
| projections.rs | ||
| smir_internal.rs | ||
| smir_visitor.rs | ||