Skip to content

report nested obligation overflows during codegen selection - #164113

Open
amirHdev wants to merge 1 commit into
rust-lang:mainfrom
amirHdev:codegen-obligation-overflow
Open

amirHdev wants to merge 1 commit into
rust-lang:mainfrom
amirHdev:codegen-obligation-overflow

Conversation

@amirHdev

@amirHdev amirHdev commented Oct 10, 2026 •

Copy link
Copy Markdown
Contributor

nested obligation overflows during codegen selection could be treated as ambiguity leading to an ICE
we now preserve the overflow information and report E0275 instead and leaving cycle handling unchanged

related to rust-lang/trait-system-refactor-initiative#306

@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. labels Oct 10, 2026
Signed-off-by: Amirhossein Akhlaghpour <m9.akhlaghpoor@gmail.com>
@amirHdev
amirHdev force-pushed the codegen-obligation-overflow branch from bdccbfa to d3906fe Compare October 11, 2026 08:03
@amirHdev

Copy link
Copy Markdown
Contributor Author

r? adwinwhite

@amirHdev
amirHdev marked this pull request as ready for review October 11, 2026 08:50
@rustbot

rustbot commented Oct 11, 2026

Copy link
Copy Markdown
Collaborator

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

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Oct 11, 2026

This branch has not been deployed

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants