Skip to content

[WIP] rustdoc: Rewrite auto trait impl synthesis #149019

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

[WIP] rustdoc: Rewrite auto trait impl synthesis #149019

wants to merge 1 commit into from
+445 −873

Conversation

@fmease
Copy link
Member

@fmease fmease commented Nov 17, 2025 •
edited
Loading

Rewrite its core from scratch using the next-gen trait solver and its ProofTreeVisitor.

Fixes #105199.
Fixes #110740.
Fixes #110741.
Fixes #116539.
Fixes #120606.
Fixes #127593.
Fixes #139964 (no longer hangs, FIXME: now fails under VERIFY).

FIXME: #123298 (still fails under VERIFY).
FIXME: #91380 (Jyn's code: fully fixed; original code: still fails under VERIFY).

@fmease fmease added the rla-silenced Silences rust-log-analyzer postings to the PR it's added on. label Nov 17, 2025
@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. labels Nov 17, 2025
@fmease fmease force-pushed the rustdoc-rewrite-auto-trait-impl-synthesis branch from dfbf60c to 15d9b7b Compare November 17, 2025 10:54
@fmease fmease force-pushed the rustdoc-rewrite-auto-trait-impl-synthesis branch from 15d9b7b to ea10870 Compare November 17, 2025 11:43
@Kobzol
Copy link
Member

Kobzol commented Nov 17, 2025

@rust-timer queue

(Just testing perfbot).

@rust-timer
Copy link
Collaborator

rust-timer commented Nov 17, 2025

Awaiting bors try build completion.

@rustbot label: +S-waiting-on-perf

@rustbot rustbot added the S-waiting-on-perf Status: Waiting on a perf run to be completed. label Nov 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

rla-silenced Silences rust-log-analyzer postings to the PR it's added on. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. S-waiting-on-perf Status: Waiting on a perf run to be completed. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

rustdoc: ICE: synthetic auto trait impls: unexpected region: RePlaceholder[…] involving TAIT rustdoc: ICE: synthetic auto trait impls: unexpected result when selecting […] obligation involving (nested) projections rustdoc: ICE: synthetic auto trait impls: unable to fulfill trait […] due to ambiguity involving higher-ranked lifetimes & projection predicates rustdoc: ICE: synthetic auto trait impls: failed to fully process […] involving projections & projection predicates rustdoc: ICE: synthetic auto trait impls: unexpected result when selecting […] obligation involving projection
rustdoc: ICE: synthetic auto trait impls: unexpected result when selecting […] rustdoc hangs on recursive associated types

4 participants

@fmease @Kobzol @rust-timer @rustbot