Skip to content

Fix bad span of well-formed evaluation overflow#158840

Open
Kokoro2336 wants to merge 1 commit into
rust-lang:mainfrom
Kokoro2336:issue-157619
Open

Fix bad span of well-formed evaluation overflow#158840
Kokoro2336 wants to merge 1 commit into
rust-lang:mainfrom
Kokoro2336:issue-157619

Conversation

@Kokoro2336

@Kokoro2336 Kokoro2336 commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

Fixes #157619

Refine bad span of well-formed evaluation overflow

@rustbot

rustbot commented Jul 6, 2026

Copy link
Copy Markdown
Collaborator

changes to the core type system

cc @lcnr

@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. labels Jul 6, 2026
@rustbot

rustbot commented Jul 6, 2026

Copy link
Copy Markdown
Collaborator

r? @dingxiangfei2009

rustbot has assigned @dingxiangfei2009.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 75 candidates
  • Random selection from 21 candidates

@Kokoro2336

Kokoro2336 commented Jul 6, 2026

Copy link
Copy Markdown
Contributor Author

The original issue also requires more detailed indication on the problematic type. But since the evaluation is cyclic and the real type is never inferred, it would be tricky to print the concrete type in the message, so I didn't impl it in the PR.

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.

Bad error span: "overflow evaluating whether &_ is well-formed"

3 participants