Celina G. Val a325bce3cd 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

2024-03-28 13:22:10 -07:00

..

check_abi.rs

Implement missing ABI structures in StableMIR

2024-03-01 11:02:05 -08:00

check_allocation.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

check_defs.rs

Add intrinsic_name to get plain intrinsic name

2024-03-12 22:03:23 +00:00

check_foreign.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

check_instance.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

check_item_kind.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

check_normalization.rs

Normalize the result of Fields::ty_with_args

2024-03-28 13:22:10 -07:00

check_trait_queries.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

check_transform.rs

Add a test to SMIR body transformation

2024-03-12 12:55:18 -07:00

check_ty_fold.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

compilation-result.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

crate-info.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

projections.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

smir_internal.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00

smir_visitor.rs

[AUTO_GENERATED] Migrate compiletest to use ui_test-style //@ directives

2024-02-22 16:04:04 +00:00