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``
UbCheck
ui_test
//@
wasm32-wasip1
RustcEncodable
RustcDecodable
Fn(T) -> U