Skip to content
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.

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

Fix index out of bounds ICE in point_at_expr_source_of_inferred_type #108050

Merged
merged 3 commits into from
Feb 16, 2023

Conversation

martingms
Copy link
Contributor

There might be more type params than args to a method call, which leads to an index out of bounds panic.
I'm not familiar with this code at all, so unsure whether this is the right fix, but at least this patch fixes #108042 for me (I hit the same issue with similar code)

There might be more type params than args to a method call, which leads to an
index out of bounds panic.
@rustbot
Copy link
Collaborator

rustbot commented Feb 14, 2023

r? @michaelwoerister

(rustbot has picked a reviewer for you, use r? to override)

@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 Feb 14, 2023
@compiler-errors
Copy link
Member

This needs a UI test

r? @compiler-errors

@compiler-errors
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Feb 15, 2023

📌 Commit e159c1e has been approved by compiler-errors

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 15, 2023
bors added a commit to rust-lang-ci/rust that referenced this pull request Feb 16, 2023
Rollup of 6 pull requests

Successful merges:

 - rust-lang#106372 (Use id-based thread parking on SOLID)
 - rust-lang#108050 (Fix index out of bounds ICE in `point_at_expr_source_of_inferred_type`)
 - rust-lang#108084 (Constify `RangeBounds`, `RangeX::contains` and `RangeX::is_empty` (where applicable).)
 - rust-lang#108101 (don't clone types that are copy)
 - rust-lang#108102 (simplify some refs)
 - rust-lang#108103 (be nice and don't slice)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 5fac20f into rust-lang:master Feb 16, 2023
@rustbot rustbot added this to the 1.69.0 milestone Feb 16, 2023
@martingms martingms deleted the issue-108042-fix branch February 16, 2023 10:40
@est31
Copy link
Member

est31 commented Feb 22, 2023

The ICE is reproducible on beta, it would be nice to have this PR backported so that stable users won't be hitting #108042.

@rustbot label +beta-nominated

@rustbot
Copy link
Collaborator

rustbot commented Feb 22, 2023

Error: Label beta-nominated can only be set by Rust team members

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

@compiler-errors compiler-errors added the beta-nominated Nominated for backporting to the compiler in the beta channel. label Feb 22, 2023
@apiraino
Copy link
Contributor

Beta backport approved as per compiler team on Zulip

@rustbot label +beta-accepted

@rustbot rustbot added the beta-accepted Accepted for backporting to the compiler in the beta channel. label Feb 24, 2023
@cuviper cuviper modified the milestones: 1.69.0, 1.68.0 Mar 2, 2023
@cuviper cuviper removed the beta-nominated Nominated for backporting to the compiler in the beta channel. label Mar 2, 2023
@cuviper cuviper modified the milestones: 1.68.0, 1.69.0 Mar 3, 2023
@cuviper
Copy link
Member

cuviper commented Mar 3, 2023

We decided to revert on beta instead of backporting: #108703

@rustbot label: -beta-accepted

@rustbot rustbot removed the beta-accepted Accepted for backporting to the compiler in the beta channel. label Mar 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. 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.

ICE in type inference? type checking? on broken/wrong BTreeMap code, if inserting into BTreeMap
8 participants