rust/compiler/rustc_mir_transform/src/generator.rs, branch 1.71.0

Remove DesugaringKind::Replace.

2023-05-25T17:40:46+00:00

Handle error body when in generator layout

2023-05-13T15:45:19+00:00

Rollup merge of #111004 - clubby789:migrate-mir-transform, r=oli-obk

2023-05-08T16:30:22+00:00

Migrate `mir_transform` to translatable diagnostics cc #100717

Restrict `From` for `{D,Subd}iagnosticMessage`.

2023-05-02T22:44:39+00:00
Currently a `{D,Subd}iagnosticMessage` can be created from any type that impls `Into`. That includes `&str`, `String`, and `Cow<'static, str>`, which are reasonable. It also includes `&String`, which is pretty weird, and results in many places making unnecessary allocations for patterns like this: ``` self.fatal(&format!(...)) ``` This creates a string with `format!`, takes a reference, passes the reference to `fatal`, which does an `into()`, which clones the reference, doing a second allocation. Two allocations for a single string, bleh. This commit changes the `From` impls so that you can only create a `{D,Subd}iagnosticMessage` from `&str`, `String`, or `Cow<'static, str>`. This requires changing all the places that currently create one from a `&String`. Most of these are of the `&format!(...)` form described above; each one removes an unnecessary static `&`, plus an allocation when executed. There are also a few places where the existing use of `&String` was more reasonable; these now just use `clone()` at the call site. As well as making the code nicer and more efficient, this is a step towards possibly using `Cow<'static, str>` in `{D,Subd}iagnosticMessage::{Str,Eager}`. That would require changing the `From<&'a str>` impls to `From<&'static str>`, which is doable, but I'm not yet sure if it's worthwhile.

Migrate `mir_transform` to translatable diagnostics

2023-05-02T15:24:18+00:00

Box AssertKind

2023-05-02T03:12:41+00:00

Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=compiler-errors

2023-04-25T19:06:32+00:00
Switch to `EarlyBinder` for `explicit_item_bounds` Part of the work to finish https://github.com/rust-lang/rust/issues/105779. This PR adds `EarlyBinder` to the return type of the `explicit_item_bounds` query and removes `bound_explicit_item_bounds`. r? `@compiler-errors` (hope it's okay to request you, since you reviewed #110299 and #110498 :smiley:)

Split `{Idx, IndexVec, IndexSlice}` into their own modules

2023-04-24T13:53:35+00:00

Changes from review

2023-04-21T15:57:37+00:00

add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder; use this to simplify some EarlyBinder noise around explicit_item_bounds calls

2023-04-20T18:36:50+00:00