Skip to content

Add codegen test for disjunction fed to unreachable_unchecked - #161774

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-115026
Aug 26, 2026
Merged

Add codegen test for disjunction fed to unreachable_unchecked#161774
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-115026

Conversation

@zakrad

@zakrad zakrad commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

Closes #115026

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

rustbot commented Aug 25, 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 16 candidates

@JonathanBrouwer JonathanBrouwer left a comment

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.

@rust-bors

rust-bors Bot commented Aug 25, 2026

Copy link
Copy Markdown
Contributor

📌 Commit c42b90f has been approved by JonathanBrouwer

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 25, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Aug 25, 2026
…nBrouwer

Add codegen test for disjunction fed to unreachable_unchecked

Closes rust-lang#115026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Aug 25, 2026
…nBrouwer

Add codegen test for disjunction fed to unreachable_unchecked

Closes rust-lang#115026
rust-bors Bot pushed a commit that referenced this pull request Aug 25, 2026
…uwer

Rollup of 5 pull requests

Successful merges:

 - #161328 (Enforce even more library clippy lints in CI)
 - #161684 (Replace `Allocator + Clone` with `AllocatorClone` in btree)
 - #159232 (Don't list escaping bound regions in nested `for<...>` binders of E0308 notes)
 - #161464 (various cleanups of `rustc_builtin_macros`)
 - #161774 (Add codegen test for disjunction fed to unreachable_unchecked)
@rust-bors
rust-bors Bot merged commit 1075403 into rust-lang:main Aug 26, 2026
13 checks passed
@rustbot rustbot added this to the 1.100.0 milestone Aug 26, 2026
rust-bors Bot pushed a commit that referenced this pull request Aug 26, 2026
Rollup merge of #161774 - zakrad:regr-test-115026, r=JonathanBrouwer

Add codegen test for disjunction fed to unreachable_unchecked

Closes #115026
@zakrad
zakrad deleted the regr-test-115026 branch August 26, 2026 16:06
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.

LLVM does not properly construct proofs out of disjunctions.

4 participants