about summary refs log tree commit diff
path: root/tests/ui-fulldeps/stable-mir/check_normalization.rs
AgeCommit message (Collapse)AuthorLines
2025-07-18rename `ui-fulldeps/stable-mir`Makai-93/+0
2025-07-14rename `stable_mir` to `rustc_public`, and `rustc_smir` to `rustc_public_bridge`Makai-3/+3
2025-07-07remove `rustc_smir` from testsMakai-2/+1
2025-04-24Refactor `StableMir` to avoid some clones.Nicholas Nethercote-1/+1
Pass `args` to `run` instead of storing it in a field. This avoids the need to clone it within `run`. Also, change `args` from `Vec<String>` to `&[String]`, avoiding the need for some vecs and clones.
2025-04-13import rustc_smir::rustc_internal in run_driver!zjp-1/+0
2025-02-03Enable more tests on WindowsBen Kimock-1/+0
2024-11-09Pass TyCtxt instead of Queries to the after_analysis callbacksbjorn3-0/+1
There is no other query that may need to be called at that point anyway.
2024-03-28Normalize the result of Fields::ty_with_argsCelina G. Val-0/+95
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