Skip to content

Conversation

@lcnr
Copy link
Contributor

@lcnr lcnr commented Nov 12, 2025

The structure of fn assemble_and_merge_candidates is quite messy and the differences between Host and NormalizesTo goals is large enough that we should split them entirely. Intend to change this for rust-lang/trait-system-refactor-initiative#245 by mentoring someone: https://rust-lang.zulipchat.com/#narrow/channel/364551-t-types.2Ftrait-system-refactor/topic/ask.20for.20help/near/554696331. Think it's still fine to merge this PR without that larger change.

fixes rust-lang/trait-system-refactor-initiative#256

r? @BoxyUwU

@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 Nov 12, 2025
@rustbot
Copy link
Collaborator

rustbot commented Nov 12, 2025

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

@lcnr lcnr force-pushed the gat-inference-hack branch from a8764d3 to 28c0fd3 Compare November 12, 2025 13:59
@lcnr lcnr force-pushed the gat-inference-hack branch from 28c0fd3 to 15b02a9 Compare November 12, 2025 13:59
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.

GAT incomplete inference hack is too eager

3 participants