bors 299179e694 Auto merge of #113772 - nnethercote:streamline-size-estimates-2, r=wesleywiser ... Streamline size estimates (take 2) This was merged in #113684 but then [something happened](https://github.com/rust-lang/rust/pull/113684#issuecomment-1636811985): > There has been a bors issue that lead to the merge commit of this PR getting purged from master. > You'll have to make a new PR to reapply it. So this is exactly the same changes. `@bors` r=wesleywiser		2023-07-17 02:56:10 +00:00
..
src	Auto merge of #113772 - nnethercote:streamline-size-estimates-2, r=wesleywiser	2023-07-17 02:56:10 +00:00
Cargo.toml	use deeply_normalize for assumed_wf_types	2023-07-03 09:12:14 +02:00
messages.ftl	Ensure Fluent messages are in alphabetical order	2023-05-25 23:49:35 +00:00