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

Don't use hir_ty_to_ty in result_large_err #9417

Merged
merged 1 commit into from
Sep 2, 2022
Merged

Conversation

Jarcho
Copy link
Contributor

@Jarcho Jarcho commented Sep 2, 2022

fixes #9414

This occurs starting with 2022-09-01. I checked that this does fix the ICE on rust-lang/rust@9353538. Not sure which pr caused the late-bound region to leak through hir_ty_to_ty.

changelog: None

@rust-highfive
Copy link

r? @Alexendoo

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Sep 2, 2022
@Alexendoo
Copy link
Member

Ah damn, I thought about suggesting to replace the hir_ty_to_ty in #9373 but left it as it wasn't a new addition

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Sep 2, 2022

📌 Commit bd70ccf has been approved by Alexendoo

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Sep 2, 2022

⌛ Testing commit bd70ccf with merge 958a9cf...

@bors
Copy link
Contributor

bors commented Sep 2, 2022

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Alexendoo
Pushing 958a9cf to master...

@bors bors merged commit 958a9cf into rust-lang:master Sep 2, 2022
@lukaslueg
Copy link
Contributor

@Jarcho, @Alexendoo If you could, maybe you have two hints about what had been wrong in the original PR?

@Jarcho
Copy link
Contributor Author

Jarcho commented Sep 2, 2022

The error is from a change on rustc's side. hir_ty_to_ty isn't erasing the lifetime bounds on trait objects in some cases so you're left with a type like for<'a> (dyn 'a + Trait) and such a type can't be used when computing layouts. The old type would have been (dyn 'erased Trait) (not real syntax) which is a way of saying to ignore the lifetime value as it doesn't matter.

@Alexendoo Alexendoo added the beta-nominated Nominated for backporting to the compiler in the beta channel. label Sep 6, 2022
@flip1995
Copy link
Member

The original lint implementation didn't hit beta yet and this was already synced, so no need to backport. Thanks for labeling it anyway!

@flip1995 flip1995 removed the beta-nominated Nominated for backporting to the compiler in the beta channel. label Sep 14, 2022
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

internal compiler error: unexpected panic
6 participants