Skip to content

Add regression test for #151316 - #164543

Open
machinedramon wants to merge 1 commit into
rust-lang:mainfrom
machinedramon:regression-test-151316
Open

machinedramon wants to merge 1 commit into
rust-lang:mainfrom
machinedramon:regression-test-151316

Conversation

@machinedramon

@machinedramon machinedramon commented Oct 18, 2026 •

Copy link
Copy Markdown

Adds a regression test for #151316, covering the three examples from the issue.

A plain bisect points at #156976, but that PR only hides the ICE behind the
E0277 error: with -Zeagerly-emit-delayed-bugs the could not normalize
delayed bug is still emitted until #159649, and bisecting with that flag lands
exactly on #159649. This is the same as what happened in #156700.

This is similar to the test added in #164272 for #155977 (which also keeps the
delayed bug until #159649), but the examples here also cover FnOnce
projections and non_lifetime_binders.

The test ICEs on nightly-2026-07-01 and only reports E0277 on current master.

Closes #151316

r? @lcnr

LLM disclosure

The task itself came from the issue (find the fixing PR and add tests).
I used an LLM to run the bisects (including the one with
-Zeagerly-emit-delayed-bugs that points at #159649), and to help write the
test and draft some texts. I reviewed the test and the results myself, so I
understand the change.

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

rustbot commented Oct 18, 2026

Copy link
Copy Markdown
Collaborator

Thanks for the pull request, and welcome! The Rust Project has assigned @lcnr (or someone else) to review your changes, you should hear from them (or someone else) within the next two weeks.

Please see the contribution instructions and our LLM policy for more information.

This branch has not been deployed

No deployments
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. 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]: could not normalize for<'a> <i32 as FnOnce<(&'a mut i32,)>>::Output: 'a

3 participants