Skip to content

improve next solver higher-ranked Send diagnostic - #162302

Draft
amirHdev wants to merge 1 commit into
rust-lang:mainfrom
amirHdev:next-solver-hr-region-diagnostics
Draft

amirHdev wants to merge 1 commit into
rust-lang:mainfrom
amirHdev:next-solver-hr-region-diagnostics

Conversation

@amirHdev

@amirHdev amirHdev commented Sep 4, 2026

Copy link
Copy Markdown
Contributor

Fixes rust-lang/trait-system-refactor-initiative#290

Recovers the selected impl candidate and replays the impl match to reconstruct the MatchImpl region constraints expected by the existing NLL region error reporting

This restores the more useful implementation of Send is not general enough diagnostic instead of falling back to a generic higher-ranked lifetime error

@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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Sep 4, 2026
@rust-log-analyzer

This comment has been minimized.

@amirHdev
amirHdev force-pushed the next-solver-hr-region-diagnostics branch from 20289dc to a327c7f Compare September 4, 2026 17:46
@rust-log-analyzer

This comment has been minimized.

@amirHdev
amirHdev force-pushed the next-solver-hr-region-diagnostics branch from a327c7f to f49b2bd Compare September 5, 2026 09:35
@rust-log-analyzer

This comment has been minimized.

Signed-off-by: Amirhossein Akhlaghpour <m9.akhlaghpoor@gmail.com>
@amirHdev
amirHdev force-pushed the next-solver-hr-region-diagnostics branch from f49b2bd to 1fe4804 Compare September 5, 2026 15:30
@amirHdev

amirHdev commented Sep 6, 2026

Copy link
Copy Markdown
Contributor Author

r? lcnr

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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. 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.

higher-ranked region errors are pretty bad

4 participants