Skip to content

Conversation

ChayimFriedman2
Copy link
Contributor

The main changes are (there are some other small changes):

  • Using a specific type for trait IDs in the new solver, allowing us to simplify a lot of code.
  • Add BoundConst similar to BoundTy and BoundRegion (previously consts used BoundVar directly), due to a new trait requirement.

This should enable the sync rust-lang/rust#146086 - CC @lnicola.

I prefer to merge this before #20578, but if you think this will cause rebase pains for you @ShoyuVanilla - please tell.

The main changes are (there are some other small changes):

 - Using a specific type for trait IDs in the new solver, allowing us to simplify a lot of code.
 - Add `BoundConst` similar to `BoundTy` and `BoundRegion` (previously consts used `BoundVar` directly), due to a new trait requirement.
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 4, 2025
Copy link
Member

@ShoyuVanilla ShoyuVanilla left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess rebasing #20578 upon this wouldn't be a trouble 👍

@ShoyuVanilla ShoyuVanilla added this pull request to the merge queue Sep 5, 2025
Merged via the queue into rust-lang:master with commit a53b444 Sep 5, 2025
15 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 5, 2025
@ChayimFriedman2 ChayimFriedman2 deleted the update-rustc branch September 6, 2025 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants