Skip to content

Add regression test for #159890 - #159971

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
amirHdev:fix-missing-placeholder-assumptions
Aug 15, 2026
Merged

Add regression test for #159890#159971
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
amirHdev:fix-missing-placeholder-assumptions

Conversation

@amirHdev

@amirHdev amirHdev commented Jul 26, 2026

Copy link
Copy Markdown
Contributor

Adds regression coverage for #159890

The ICE no longer reproduces after the canonical response universe assumptions fix landed. this keeps the original reproducer as a UI test and checks that it reports the expected E0195 and E0046 diagnostics instead of panicking

Closes #159890

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

rustbot commented Jul 26, 2026

Copy link
Copy Markdown
Collaborator

r? @jackh726

rustbot has assigned @jackh726.
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 74 candidates
  • Random selection from 16 candidates

@rust-bors

This comment has been minimized.

Signed-off-by: Amirhossein Akhlaghpour <m9.akhlaghpoor@gmail.com>
@amirHdev
amirHdev force-pushed the fix-missing-placeholder-assumptions branch from 1c549bf to 4fab3c1 Compare August 15, 2026 14:27
@rustbot

rustbot commented Aug 15, 2026

Copy link
Copy Markdown
Collaborator

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@amirHdev amirHdev changed the title Register assumptions for canonical response universes Add regression test for #159890 Aug 15, 2026
@jackh726

Copy link
Copy Markdown
Member

@bors r+ rollup

@rust-bors

rust-bors Bot commented Aug 15, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 4fab3c1 has been approved by jackh726

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 15, 2026
rust-bors Bot pushed a commit that referenced this pull request Aug 15, 2026
…uwer

Rollup of 2 pull requests

Successful merges:

 - #161125 (fix buggy MaybeDangling<&T> validation logic)
 - #159971 (Add regression test for #159890)
@rust-bors
rust-bors Bot merged commit 1b0402d into rust-lang:main Aug 15, 2026
13 checks passed
@rustbot rustbot added this to the 1.100.0 milestone Aug 15, 2026
rust-bors Bot pushed a commit that referenced this pull request Aug 15, 2026
Rollup merge of #159971 - amirHdev:fix-missing-placeholder-assumptions, r=jackh726

Add regression test for #159890

Adds regression coverage for #159890

The ICE no longer reproduces after the canonical response universe assumptions fix landed. this keeps the original reproducer as a UI test and checks that it reports the expected E0195 and E0046 diagnostics instead of panicking

Closes #159890
rust-timer added a commit that referenced this pull request Aug 15, 2026
Rollup merge of #159971 - amirHdev:fix-missing-placeholder-assumptions, r=jackh726

Add regression test for #159890

Adds regression coverage for #159890

The ICE no longer reproduces after the canonical response universe assumptions fix landed. this keeps the original reproducer as a UI test and checks that it reports the expected E0195 and E0046 diagnostics instead of panicking

Closes #159890
RalfJung pushed a commit to saethlin/miri that referenced this pull request Aug 16, 2026
…uwer

Rollup of 2 pull requests

Successful merges:

 - rust-lang/rust#161125 (fix buggy MaybeDangling<&T> validation logic)
 - rust-lang/rust#159971 (Add regression test for rust-lang/rust#159890)
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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ICE]: assumptions on binders: None in context.rs

3 participants