bors 9dee4e4c42 Auto merge of #107267 - cjgillot:keep-aggregate, r=oli-obk ...

Do not deaggregate MIR

This turns out to simplify a lot of things.
I haven't checked the consequences for miri yet.

cc `@JakobDegen`
r? `@oli-obk`

2023-02-04 15:17:32 +00:00

..

src

Auto merge of #107267 - cjgillot:keep-aggregate, r=oli-obk

2023-02-04 15:17:32 +00:00

Cargo.toml

Do not use hir_ty_to_ty

2022-12-23 16:45:16 -08:00