Uplift {Closure,Coroutine,CoroutineClosure}Args and friends to rustc_type_ir#125775
Uplift {Closure,Coroutine,CoroutineClosure}Args and friends to rustc_type_ir#125775bors merged 2 commits intorust-lang:masterfrom
{Closure,Coroutine,CoroutineClosure}Args and friends to rustc_type_ir#125775Conversation
|
Some changes occurred to the CTFE / Miri engine cc @rust-lang/miri Some changes occurred in src/tools/clippy cc @rust-lang/clippy Some changes occurred to the core trait solver cc @rust-lang/initiative-trait-system-refactor Some changes occurred to MIR optimizations cc @rust-lang/wg-mir-opt changes to the core type system |
This comment has been minimized.
This comment has been minimized.
| } | ||
| } | ||
|
|
||
| struct FoldEscapingRegions<I: Interner> { |
There was a problem hiding this comment.
existing: i feel like this folder should have a comment
7c3ab75 to
fe42b73
Compare
This comment has been minimized.
This comment has been minimized.
fe42b73 to
822bfe8
Compare
|
Some changes occurred in compiler/rustc_codegen_gcc |
This comment has been minimized.
This comment has been minimized.
822bfe8 to
5afdda1
Compare
|
Sorry for the CI failures. Tried to be smart with an assertion, but it was misguided. @bors r=lcnr |
…s, r=lcnr
Uplift `{Closure,Coroutine,CoroutineClosure}Args` and friends to `rustc_type_ir`
Part of converting the new solver's `structural_traits.rs` to be interner-agnostic.
I decided against aliasing `ClosureArgs<TyCtxt<'tcx>>` to `ClosureArgs<'tcx>` because it seemed so rare. I could do so if desired, though.
r? lcnr
…s, r=lcnr
Uplift `{Closure,Coroutine,CoroutineClosure}Args` and friends to `rustc_type_ir`
Part of converting the new solver's `structural_traits.rs` to be interner-agnostic.
I decided against aliasing `ClosureArgs<TyCtxt<'tcx>>` to `ClosureArgs<'tcx>` because it seemed so rare. I could do so if desired, though.
r? lcnr
This comment has been minimized.
This comment has been minimized.
|
intra doc links :( @bors r- |
5afdda1 to
333458c
Compare
|
@bors r=lcnr |
|
☀️ Test successful - checks-actions |
|
Finished benchmarking commit (0038c02): comparison URL. Overall result: no relevant changes - no action needed@rustbot label: -perf-regression Instruction countThis benchmark run did not return any relevant results for this metric. Max RSS (memory usage)Results (primary 3.2%)This is a less reliable metric that may be of interest but was not used to determine the overall result at the top of this comment.
CyclesThis benchmark run did not return any relevant results for this metric. Binary sizeThis benchmark run did not return any relevant results for this metric. Bootstrap: 668.545s -> 667.702s (-0.13%) |
… r=lcnr
Uplift `{Closure,Coroutine,CoroutineClosure}Args` and friends to `rustc_type_ir`
Part of converting the new solver's `structural_traits.rs` to be interner-agnostic.
I decided against aliasing `ClosureArgs<TyCtxt<'tcx>>` to `ClosureArgs<'tcx>` because it seemed so rare. I could do so if desired, though.
r? lcnr
Part of converting the new solver's
structural_traits.rsto be interner-agnostic.I decided against aliasing
ClosureArgs<TyCtxt<'tcx>>toClosureArgs<'tcx>because it seemed so rare. I could do so if desired, though.r? lcnr