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
..
src	Normalize the result of Fields::ty_with_args	2024-03-28 13:22:10 -07:00
.gitignore	Add 'compiler/rustc_smir/' from commit '9abcb5c7b5'	2022-06-02 10:07:25 +00:00
Cargo.toml	Add APIs for fetching foreign items including foreign modules, their ABIs, and their items	2024-02-12 19:44:35 +00:00