bors 64a7aa7016 Auto merge of #97447 - nnethercote:improve-folding, r=jackh726 ... Folding revamp r? `@ghost`		2022-06-08 05:36:40 +00:00
..
src	Auto merge of #97447 - nnethercote:improve-folding, r=jackh726	2022-06-08 05:36:40 +00:00
Cargo.toml	Initial fixes on top of type interner commit	2022-05-28 11:38:22 -07:00