Skip to content

Rollup of 7 pull requests - #144881

Closed
Zalathar wants to merge 5 commits into
rust-lang:masterfrom
Zalathar:rollup-2mp8pkq
Closed

Rollup of 7 pull requests#144881
Zalathar wants to merge 5 commits into
rust-lang:masterfrom
Zalathar:rollup-2mp8pkq

Conversation

@Zalathar

@ZalatharZalathar commented Aug 4, 2025

Copy link
Copy Markdown
Member

Successful merges:

Failed merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

compiler-errorsand others added 5 commits July 30, 2025 17:48
Because the follow-up commits will affect it, and the goal is to show how.
…arrowLii
Distinguish prepending and replacing self ty in predicates
There are two kinds of functions called `with_self_ty`:
1. Prepends the `Self` type onto an `ExistentialPredicate` which lacks it in its internal representation.
2. Replaces the `Self` type of an existing predicate, either for diagnostics purposes or in the new trait solver when normalizing that self type.
This PR distinguishes these two because I often want to only grep for one of them. Namely, let's call it `with_replaced_self_ty` when all we're doing is replacing the self type.
Add some pre-codegen MIR tests for debug mode
No functional changes; just some tests.
I made these for rust-lang#144483, but that's going in a different direction, so I wanted to propose we just add them to help see the impact of other related changes in the future.
r? mir
@rustbotrustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-clippy Relevant to the Clippy team. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) rollup A PR which is a rollup labels Aug 4, 2025
@ZalatharZalathar closed this Aug 4, 2025
@rustbotrustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 4, 2025
@Zalathar
Zalathar deleted the rollup-2mp8pkq branch August 4, 2025 04:53
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rollupA PR which is a rollupT-clippyRelevant to the Clippy team.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

@Zalathar@rustbot@compiler-errors@scottmcm