Skip to content

Add regression test for TAIT in extern fn ICE with the new solver - #161969

Open
zakrad wants to merge 1 commit into
rust-lang:mainfrom
zakrad:regr-test-156345
Open

Add regression test for TAIT in extern fn ICE with the new solver#161969
zakrad wants to merge 1 commit into
rust-lang:mainfrom
zakrad:regr-test-156345

Conversation

@zakrad

@zakrad zakrad commented Aug 29, 2026 •
edited by rustbot
Loading

Copy link
Copy Markdown
Contributor

Fixes #156345

@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 29, 2026
@rustbot

rustbot commented Aug 29, 2026

Copy link
Copy Markdown
Collaborator

r? @petrochenkov

rustbot has assigned @petrochenkov.
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 20 candidates

ShoyuVanilla
ShoyuVanilla approved these changes Aug 30, 2026
View reviewed changes

@ShoyuVanilla ShoyuVanilla left a comment •
edited by rustbot
Loading

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@bors r+ rollup

View changes since this review

@rust-bors

rust-bors Bot commented Aug 30, 2026

Copy link
Copy Markdown
Contributor

📌 Commit d180f00 has been approved by ShoyuVanilla

It is now in the queue for this repository.

@rust-bors rust-bors Bot 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 Aug 30, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Aug 30, 2026
@jhpratt
Rollup merge of rust-lang#161969 - zakrad:regr-test-156345, r=ShoyuVa…
7251204 
…nilla

Add regression test for TAIT in extern fn ICE with the new solver

Fixes rust-lang#156345
@jhpratt jhpratt mentioned this pull request Aug 30, 2026
Open
rust-bors Bot pushed a commit that referenced this pull request Aug 30, 2026
@bors
Auto merge of #161997 - jhpratt:rollup-GNRRq9B, r=jhpratt
9bbaf3f 
Rollup of 3 pull requests

Successful merges:

 - #159363 (Add accurate targeting for imperfect derives diagnostic in `E0277`)
 - #161969 (Add regression test for TAIT in extern fn ICE with the new solver)
 - #161993 (add regression test for ICE unexpected region)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ShoyuVanilla ShoyuVanilla ShoyuVanilla approved these changes

Assignees

@petrochenkov petrochenkov

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

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

[ICE]: OpaqueTypeStorage

4 participants

@zakrad @rustbot @ShoyuVanilla @petrochenkov