Skip to content

only next-solver: move implied bounds computation out of borrowck - #161047

Open
lcnr wants to merge 5 commits into
rust-lang:mainfrom
lcnr:implied-bounds-opaque-only-next
Open

only next-solver: move implied bounds computation out of borrowck#161047
lcnr wants to merge 5 commits into
rust-lang:mainfrom
lcnr:implied-bounds-opaque-only-next

Conversation

@lcnr

@lcnr lcnr commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

version of #160491 which does not enable this change for the old solver, meaning that we can merge it without a types team FCP :>

r? adwinwhite

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. 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) labels Aug 13, 2026
@rustbot

rustbot commented Aug 13, 2026

Copy link
Copy Markdown
Collaborator

adwinwhite is currently at their maximum review capacity.
They may take a while to respond.

@lcnr lcnr changed the title Implied bounds opaque only next only next-solver: move implied bounds computation out of borrowck Aug 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. 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)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants