mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-03 17:35:28 +03:00
73a4208638
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 r? ``@oli-obk``