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