Michael Goulet

Stop storing a special inner body for the coroutine by-move body for async closures

43

...and instead, just synthesize an item which is treated mostly normally by the MIR pipeline. This PR does a few things: * We synthesize a new `DefId` for the by-move...

Check WF of source type's signature on fn pointer cast

17

This PR patches the implied bounds holes slightly for #129005, #25860. Like most implied bounds related unsoundness fixes, this isn't complete w.r.t. higher-ranked function signatures, but I believe it implements...

Dont consider predicates that may hold as impossible in `is_impossible_associated_item`

6

Use infer vars to account for ambiguities when considering if methods are impossible to instantiate for a given self type. Also while we're at it, let's use the new trait...

Raw lifetimes

1

See https://github.com/rust-lang/rust/pull/126452

In https://github.com/rust-lang/rust/pull/126452, T-lang decided that we should treat `'r#lifetime` as "raw lifetime" syntax and reserve `'prefix#lifetime`, (retroactively) beginning in edition 2021 as an extension of the work around reserving identifier...

Make root vars more stable

15

Never resolve a ty/ct vid to a higher vid as its root. This should make the optimization in rust-lang/rust#141500 more "stable" when there are a lot of vars flying around....

[experimental] Make witnesses more eager

23

r? lcnr

Experiment proposal: In-place initialization

15

# Experiment: In-place initialization A few weeks ago, @Darksonn authored https://hackmd.io/@aliceryhl/BJutRcPblx that proposes the lang-ification of the [`pin-init`](https://github.com/Rust-for-Linux/pin-init) crate, and how it can be used to enable and simplify some...