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
..
2023-02-02 23:26:26 +00:00
2023-01-30 20:12:21 +00:00
2023-01-30 21:51:35 +00:00
2023-01-30 20:12:21 +00:00