Skip to content

Add regression test for malformed RPITIT bound ICE with the new solver - #162818

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-156100
Sep 16, 2026
Merged

Add regression test for malformed RPITIT bound ICE with the new solver#162818
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-156100

Conversation

@zakrad

@zakrad zakrad commented Sep 15, 2026 •
edited by rustbot
Loading

Copy link
Copy Markdown
Contributor

Fixes #156100

@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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Sep 15, 2026
@rustbot

rustbot commented Sep 15, 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 76 candidates
  • Random selection from 19 candidates

@petrochenkov

petrochenkov commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

@bors r+ rollup

@rust-bors

rust-bors Bot commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

📌 Commit dfff8f9 has been approved by petrochenkov

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 Sep 15, 2026
@rust-bors rust-bors Bot 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-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Sep 15, 2026
@rust-bors

rust-bors Bot commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

⚠️ A new commit 2e3d3269bc53f2cabcf14b8e4ebdaa15b7059713 was pushed.

This pull request was unapproved.

@zakrad

zakrad commented Sep 15, 2026

Copy link
Copy Markdown
Contributor Author

sorry @petrochenkov didnt notice your approval, just trimmed comments, could you reapprove?
@rustbot ready

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Sep 15, 2026
@petrochenkov

petrochenkov commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

@bors r+

@rust-bors

rust-bors Bot commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 2e3d326 has been approved by petrochenkov

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 Sep 15, 2026
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@rust-bors rust-bors Bot 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-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Sep 15, 2026
@rust-bors

rust-bors Bot commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

⚠️ A new commit ac9666f3241e7d776d782c306aee2c14eeffe579 was pushed.

This pull request was unapproved.

@zakrad

zakrad commented Sep 15, 2026

Copy link
Copy Markdown
Contributor Author

@rustbot ready
added missing E0275 annotation for CI.

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Sep 15, 2026
@ShoyuVanilla

ShoyuVanilla commented Sep 16, 2026

Copy link
Copy Markdown
Member

@bors r=petrochenkov rollup

@rust-bors

rust-bors Bot commented Sep 16, 2026

Copy link
Copy Markdown
Contributor

📌 Commit ac9666f has been approved by petrochenkov

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 Sep 16, 2026
Zalathar added a commit to Zalathar/rust that referenced this pull request Sep 16, 2026
@Zalathar
Rollup merge of rust-lang#162818 - zakrad:regr-test-156100, r=petroch…
40f81cb 
…enkov

Add regression test for malformed RPITIT bound ICE with the new solver

Fixes rust-lang#156100
@Zalathar Zalathar mentioned this pull request Sep 16, 2026
Closed
rust-bors Bot pushed a commit that referenced this pull request Sep 16, 2026
@bors
Auto merge of #162846 - Zalathar:rollup-dwcWLal, r=Zalathar
6d7db56 
Rollup of 7 pull requests

Successful merges:

 - #156216 (implement const Iterator for Range)
 - #162748 (Enable LLVM Thin LTO for LoongArch64)
 - #162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - #162800 (Cleanups related to RefDecodable)
 - #162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - #159359 ([rustc_public] Enhance PassMode API)
 - #162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
@Zalathar Zalathar mentioned this pull request Sep 16, 2026
Merged
rust-bors Bot pushed a commit that referenced this pull request Sep 16, 2026
@bors
Auto merge of #162853 - Zalathar:rollup-7nlu8K9, r=Zalathar
92801ed 
Rollup of 10 pull requests

Successful merges:

 - #156216 (implement const Iterator for Range)
 - #160697 (rustc: Tweak the effect of `--jobs` on frontend parallelism)
 - #162748 (Enable LLVM Thin LTO for LoongArch64)
 - #162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - #162794 (Simplify `ast::UseTreeKind`)
 - #162800 (Cleanups related to RefDecodable)
 - #162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - #159359 ([rustc_public] Enhance PassMode API)
 - #162196 (Offload cmake cleanups)
 - #162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
@rust-bors
rust-bors Bot merged commit 6f81ec1 into rust-lang:main Sep 16, 2026
13 checks passed
@rustbot rustbot added this to the 1.100.0 milestone Sep 16, 2026
rust-bors Bot pushed a commit that referenced this pull request Sep 16, 2026
@bors
Unrolled build for #162818 in rollup 162853
9f5a85d 
Rollup merge of #162818 - zakrad:regr-test-156100, r=petrochenkov

Add regression test for malformed RPITIT bound ICE with the new solver

Fixes #156100
pull Bot pushed a commit to LeeeeeeM/miri that referenced this pull request Sep 17, 2026
@bors
Auto merge of #162853 - Zalathar:rollup-7nlu8K9, r=Zalathar
390e0f9 
Rollup of 10 pull requests

Successful merges:

 - rust-lang/rust#156216 (implement const Iterator for Range)
 - rust-lang/rust#160697 (rustc: Tweak the effect of `--jobs` on frontend parallelism)
 - rust-lang/rust#162748 (Enable LLVM Thin LTO for LoongArch64)
 - rust-lang/rust#162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - rust-lang/rust#162794 (Simplify `ast::UseTreeKind`)
 - rust-lang/rust#162800 (Cleanups related to RefDecodable)
 - rust-lang/rust#162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - rust-lang/rust#159359 ([rustc_public] Enhance PassMode API)
 - rust-lang/rust#162196 (Offload cmake cleanups)
 - rust-lang/rust#162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
pull Bot pushed a commit to asukaminato0721/rust-clippy that referenced this pull request Sep 17, 2026
@bors
Auto merge of #162853 - Zalathar:rollup-7nlu8K9, r=Zalathar
2a353a0 
Rollup of 10 pull requests

Successful merges:

 - rust-lang/rust#156216 (implement const Iterator for Range)
 - rust-lang/rust#160697 (rustc: Tweak the effect of `--jobs` on frontend parallelism)
 - rust-lang/rust#162748 (Enable LLVM Thin LTO for LoongArch64)
 - rust-lang/rust#162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - rust-lang/rust#162794 (Simplify `ast::UseTreeKind`)
 - rust-lang/rust#162800 (Cleanups related to RefDecodable)
 - rust-lang/rust#162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - rust-lang/rust#159359 ([rustc_public] Enhance PassMode API)
 - rust-lang/rust#162196 (Offload cmake cleanups)
 - rust-lang/rust#162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
github-actions Bot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Sep 17, 2026
@bors
Auto merge of #162853 - Zalathar:rollup-7nlu8K9, r=Zalathar
6672c4a 
Rollup of 10 pull requests

Successful merges:

 - rust-lang/rust#156216 (implement const Iterator for Range)
 - rust-lang/rust#160697 (rustc: Tweak the effect of `--jobs` on frontend parallelism)
 - rust-lang/rust#162748 (Enable LLVM Thin LTO for LoongArch64)
 - rust-lang/rust#162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - rust-lang/rust#162794 (Simplify `ast::UseTreeKind`)
 - rust-lang/rust#162800 (Cleanups related to RefDecodable)
 - rust-lang/rust#162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - rust-lang/rust#159359 ([rustc_public] Enhance PassMode API)
 - rust-lang/rust#162196 (Offload cmake cleanups)
 - rust-lang/rust#162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
@lcnr lcnr mentioned this pull request Sep 18, 2026
Open
@zakrad
zakrad deleted the regr-test-156100 branch September 20, 2026 11:17
makai410 pushed a commit to makai410/rust that referenced this pull request Oct 1, 2026
@bors
Auto merge of rust-lang#162853 - Zalathar:rollup-7nlu8K9, r=Zalathar
7e8069f 
Rollup of 10 pull requests

Successful merges:

 - rust-lang#156216 (implement const Iterator for Range)
 - rust-lang#160697 (rustc: Tweak the effect of `--jobs` on frontend parallelism)
 - rust-lang#162748 (Enable LLVM Thin LTO for LoongArch64)
 - rust-lang#162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - rust-lang#162794 (Simplify `ast::UseTreeKind`)
 - rust-lang#162800 (Cleanups related to RefDecodable)
 - rust-lang#162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - rust-lang#159359 ([rustc_public] Enhance PassMode API)
 - rust-lang#162196 (Offload cmake cleanups)
 - rust-lang#162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
makai410 pushed a commit to makai410/rustc_public that referenced this pull request Oct 1, 2026
@bors
Auto merge of #162853 - Zalathar:rollup-7nlu8K9, r=Zalathar
8bb1e94 
Rollup of 10 pull requests

Successful merges:

 - rust-lang/rust#156216 (implement const Iterator for Range)
 - rust-lang/rust#160697 (rustc: Tweak the effect of `--jobs` on frontend parallelism)
 - rust-lang/rust#162748 (Enable LLVM Thin LTO for LoongArch64)
 - rust-lang/rust#162769 (Yeet the `DeepRegionResolver` (earlier called `OpportunisticRegionResolver`))
 - rust-lang/rust#162794 (Simplify `ast::UseTreeKind`)
 - rust-lang/rust#162800 (Cleanups related to RefDecodable)
 - rust-lang/rust#162826 (wasm: fix ABI for enums with integer layout and ZST fields)
 - rust-lang/rust#159359 ([rustc_public] Enhance PassMode API)
 - rust-lang/rust#162196 (Offload cmake cleanups)
 - rust-lang/rust#162818 (Add regression test for malformed RPITIT bound ICE with the new solver)
@github-actions github-actions Bot mentioned this pull request Oct 2, 2026
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Milestone

1.100.0

Development

Successfully merging this pull request may close these issues.

[ICE]: assertion failed: !tcx.next_trait_solver_globally()

5 participants

@zakrad @rustbot @petrochenkov @rust-log-analyzer @ShoyuVanilla