Skip to content

Check for bound variables when reporting type error #145757

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
Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Check for bound variables when reporting type error #145757

wants to merge 1 commit into from
+69 −9

Conversation

@matthewjasper
Copy link
Contributor

@matthewjasper matthewjasper commented Aug 22, 2025 •
edited by rustbot
Loading

can_eq in point_at_chain ICEs if it's passed types with escaping bound variables, so we need to check for them, even in error reporting. Since this is just for error reporting simply skip types with escaping bound variables.

closes #145631

@rustbot
Copy link
Collaborator

rustbot commented Aug 22, 2025

r? @davidtwco

rustbot has assigned @davidtwco.
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

@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 Aug 22, 2025
compiler-errors
compiler-errors requested changes Aug 23, 2025
View reviewed changes
@jieyouxu jieyouxu added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 25, 2025
@matthewjasper
Check for bound variables when reporting type error
608d49a 
`can_eq` ICEs if it's passed types with escaping bound variables, so we
need to handle for them, even in error reporting.
@matthewjasper matthewjasper force-pushed the type-mismatch-bound-vars branch from e1570fe to 608d49a Compare August 25, 2025 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@compiler-errors compiler-errors compiler-errors requested changes

Assignees

@compiler-errors compiler-errors

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.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

ICE on IntoIterator with lifetimes

5 participants

@matthewjasper @rustbot @compiler-errors @davidtwco @jieyouxu