Skip to content

Add regression test for #144033 - #159259

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Joel-Wwalker:144033-regression-test
Jul 15, 2026
Merged

Add regression test for #144033#159259
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
Joel-Wwalker:144033-regression-test

Conversation

@Joel-Wwalker

@Joel-WwalkerJoel-Wwalker commented Jul 14, 2026•
edited by rustbot
Loading

Copy link
Copy Markdown
Contributor

The reproducer from #144033 used to ICE with "cannot relate bound region". On current master it emits normal errors instead, with and without -Znext-solver, so add it as a UI test with blessed output to pin that.

Fixes#144033

@rustbotrustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 14, 2026
@rustbotrustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Jul 14, 2026
@rustbot

rustbot commented Jul 14, 2026

Copy link
Copy Markdown
Collaborator

Thanks for the pull request, and welcome! The Rust Project is excited to review your changes, and you should hear from @JonathanBrouwer (or someone else) some time within the next two weeks.

Please see the contribution instructions for more information. Namely, in order to ensure the minimum review times lag, PR authors and assigned reviewers should ensure that the review label (S-waiting-on-review and S-waiting-on-author) stays updated, invoking these commands when appropriate:

  • @rustbot author: the review is finished, PR author should check the comments and take action accordingly
  • @rustbot review: the author is ready for a review, this PR will be queued again in the reviewer's queue
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 17 candidates

@Kivooeo

Kivooeo commented Jul 14, 2026

Copy link
Copy Markdown
Member

Hey! This looks good, thanks for your contribution!

But can you please use a simpler example for test from this message.

@Joel-Wwalker

Joel-Wwalker commented Jul 14, 2026

Copy link
Copy Markdown
ContributorAuthor

Good call, thanks. Switched to the simpler repro from cyrgani'''s comment on the issue.

@Kivooeo

Kivooeo commented Jul 14, 2026

Copy link
Copy Markdown
Member

@bors r+ rollup

@rust-bors

rust-borsBot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

📌 Commit f3f4235 has been approved by Kivooeo

It is now in the queue for this repository.

@rust-borsrust-borsBot 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 Jul 14, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Jul 14, 2026
@jhpratt
Rollup merge ofrust-lang#159259- Joel-Wwalker:144033-regression-tes…
41da52c
…t, r=Kivooeo
Add regression test for rust-lang#144033
The reproducer from rust-lang#144033 used to ICE with "cannot relate bound region". On current master it emits normal errors instead, with and without `-Znext-solver`, so add it as a UI test with blessed output to pin that.
Fixesrust-lang#144033
@jhprattjhpratt mentioned this pull request Jul 14, 2026
Closed
rust-borsBot pushed a commit that referenced this pull request Jul 14, 2026
@bors
Auto merge of#159276- jhpratt:rollup-j2A2c6K, r=jhpratt
4ccfe8b
Rollup of 6 pull requests
Successful merges:
- #159251 (Bump rustc-perf submodule)
- #159243 (inline Once wait and wait_force)
- #159255 (Replace shortened type with `_` instead of `...` as placeholder)
- #159259 (Add regression test for #144033)
- #159265 (bootstrap: skip intrinsic-test when rustfmt is unavailable)
- #159274 (bootstrap: Rename `std_crates_for_run_make` to `std_crates_for_make_run`)
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
@JonathanBrouwer
Rollup merge ofrust-lang#159259- Joel-Wwalker:144033-regression-tes…
34fff5f
…t, r=Kivooeo
Add regression test for rust-lang#144033
The reproducer from rust-lang#144033 used to ICE with "cannot relate bound region". On current master it emits normal errors instead, with and without `-Znext-solver`, so add it as a UI test with blessed output to pin that.
Fixesrust-lang#144033
@JonathanBrouwerJonathanBrouwer mentioned this pull request Jul 14, 2026
Closed
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
@JonathanBrouwer
Rollup merge ofrust-lang#159259- Joel-Wwalker:144033-regression-tes…
8bf91af
…t, r=Kivooeo
Add regression test for rust-lang#144033
The reproducer from rust-lang#144033 used to ICE with "cannot relate bound region". On current master it emits normal errors instead, with and without `-Znext-solver`, so add it as a UI test with blessed output to pin that.
Fixesrust-lang#144033
@JonathanBrouwerJonathanBrouwer mentioned this pull request Jul 14, 2026
Closed
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 14, 2026
@JonathanBrouwer
Rollup merge ofrust-lang#159259- Joel-Wwalker:144033-regression-tes…
6ba410c
…t, r=Kivooeo
Add regression test for rust-lang#144033
The reproducer from rust-lang#144033 used to ICE with "cannot relate bound region". On current master it emits normal errors instead, with and without `-Znext-solver`, so add it as a UI test with blessed output to pin that.
Fixesrust-lang#144033
This was referenced Jul 14, 2026
Closed
Merged
rust-borsBot pushed a commit that referenced this pull request Jul 14, 2026
@bors
Auto merge of#159293- JonathanBrouwer:rollup-bZ1e8vF, r=JonathanBro…
4eab515
…uwer
Rollup of 22 pull requests
Successful merges:
- #156047 (Fix trait method resolution on an adjusted never type)
- #157824 (Comptime inherent impls)
- #158235 (Store `DefId` instead of `EiiDecl` in `EiiImplResolution::Known`)
- #158723 (Support EII on Windows MSVC)
- #158993 (rerun in original typing mode if we meet any opaques in post analysis)
- #159160 (Make `HasTokens` a sub-trait of `HasAttrs`.)
- #159183 (Introduce InstanceKind::LlvmIntrinsic)
- #159251 (Bump rustc-perf submodule)
- #155013 (Suggest the `[const] Destruct` bound for type parameters in const functions when missing)
- #159155 (unstable book: Document `diagnostic_on_unknown` feature)
- #159235 (Add regression test for #95719)
- #159243 (inline Once wait and wait_force)
- #159255 (Replace shortened type with `_` instead of `...` as placeholder)
- #159259 (Add regression test for #144033)
- #159265 (bootstrap: skip intrinsic-test when rustfmt is unavailable)
- #159269 (disable range-len-try-from.rs on s390x)
- #159272 (slice: make swap delegate to swap_unchecked)
- #159274 (bootstrap: Rename `std_crates_for_run_make` to `std_crates_for_make_run`)
- #159275 (remove obsolete comment)
- #159277 (Construct `tokens` for attrs made by `mk_attr_word` and other variants)
- #159283 (Remove obsolete verbose flag from deref/ref suggestions)
- #159290 (rustc-dev-guide subtree update)
rust-borsBot pushed a commit that referenced this pull request Jul 15, 2026
@bors
Auto merge of#159293- JonathanBrouwer:rollup-bZ1e8vF, r=JonathanBro…
38a0576
…uwer
Rollup of 22 pull requests
Successful merges:
- #156047 (Fix trait method resolution on an adjusted never type)
- #157824 (Comptime inherent impls)
- #158235 (Store `DefId` instead of `EiiDecl` in `EiiImplResolution::Known`)
- #158723 (Support EII on Windows MSVC)
- #158993 (rerun in original typing mode if we meet any opaques in post analysis)
- #159160 (Make `HasTokens` a sub-trait of `HasAttrs`.)
- #159183 (Introduce InstanceKind::LlvmIntrinsic)
- #159251 (Bump rustc-perf submodule)
- #155013 (Suggest the `[const] Destruct` bound for type parameters in const functions when missing)
- #159155 (unstable book: Document `diagnostic_on_unknown` feature)
- #159235 (Add regression test for #95719)
- #159243 (inline Once wait and wait_force)
- #159255 (Replace shortened type with `_` instead of `...` as placeholder)
- #159259 (Add regression test for #144033)
- #159265 (bootstrap: skip intrinsic-test when rustfmt is unavailable)
- #159269 (disable range-len-try-from.rs on s390x)
- #159272 (slice: make swap delegate to swap_unchecked)
- #159274 (bootstrap: Rename `std_crates_for_run_make` to `std_crates_for_make_run`)
- #159275 (remove obsolete comment)
- #159277 (Construct `tokens` for attrs made by `mk_attr_word` and other variants)
- #159283 (Remove obsolete verbose flag from deref/ref suggestions)
- #159290 (rustc-dev-guide subtree update)
@rust-bors
rust-borsBot merged commit a711c4b into rust-lang:mainJul 15, 2026
13 checks passed
@rustbotrustbot added this to the 1.99.0 milestone Jul 15, 2026
RalfJung pushed a commit to RalfJung/miri that referenced this pull request Jul 15, 2026
@bors
Auto merge of #159293 - JonathanBrouwer:rollup-bZ1e8vF, r=JonathanBro…
b83abd8
…uwer
Rollup of 22 pull requests
Successful merges:
- rust-lang/rust#156047 (Fix trait method resolution on an adjusted never type)
- rust-lang/rust#157824 (Comptime inherent impls)
- rust-lang/rust#158235 (Store `DefId` instead of `EiiDecl` in `EiiImplResolution::Known`)
- rust-lang/rust#158723 (Support EII on Windows MSVC)
- rust-lang/rust#158993 (rerun in original typing mode if we meet any opaques in post analysis)
- rust-lang/rust#159160 (Make `HasTokens` a sub-trait of `HasAttrs`.)
- rust-lang/rust#159183 (Introduce InstanceKind::LlvmIntrinsic)
- rust-lang/rust#159251 (Bump rustc-perf submodule)
- rust-lang/rust#155013 (Suggest the `[const] Destruct` bound for type parameters in const functions when missing)
- rust-lang/rust#159155 (unstable book: Document `diagnostic_on_unknown` feature)
- rust-lang/rust#159235 (Add regression test for rust-lang/rust#95719)
- rust-lang/rust#159243 (inline Once wait and wait_force)
- rust-lang/rust#159255 (Replace shortened type with `_` instead of `...` as placeholder)
- rust-lang/rust#159259 (Add regression test for rust-lang/rust#144033)
- rust-lang/rust#159265 (bootstrap: skip intrinsic-test when rustfmt is unavailable)
- rust-lang/rust#159269 (disable range-len-try-from.rs on s390x)
- rust-lang/rust#159272 (slice: make swap delegate to swap_unchecked)
- rust-lang/rust#159274 (bootstrap: Rename `std_crates_for_run_make` to `std_crates_for_make_run`)
- rust-lang/rust#159275 (remove obsolete comment)
- rust-lang/rust#159277 (Construct `tokens` for attrs made by `mk_attr_word` and other variants)
- rust-lang/rust#159283 (Remove obsolete verbose flag from deref/ref suggestions)
- rust-lang/rust#159290 (rustc-dev-guide subtree update)
github-actionsBot pushed a commit to rust-lang/rustc-dev-guide that referenced this pull request Jul 20, 2026
@bors
Auto merge of #159293 - JonathanBrouwer:rollup-bZ1e8vF, r=JonathanBro…
0dec64c
…uwer
Rollup of 22 pull requests
Successful merges:
- rust-lang/rust#156047 (Fix trait method resolution on an adjusted never type)
- rust-lang/rust#157824 (Comptime inherent impls)
- rust-lang/rust#158235 (Store `DefId` instead of `EiiDecl` in `EiiImplResolution::Known`)
- rust-lang/rust#158723 (Support EII on Windows MSVC)
- rust-lang/rust#158993 (rerun in original typing mode if we meet any opaques in post analysis)
- rust-lang/rust#159160 (Make `HasTokens` a sub-trait of `HasAttrs`.)
- rust-lang/rust#159183 (Introduce InstanceKind::LlvmIntrinsic)
- rust-lang/rust#159251 (Bump rustc-perf submodule)
- rust-lang/rust#155013 (Suggest the `[const] Destruct` bound for type parameters in const functions when missing)
- rust-lang/rust#159155 (unstable book: Document `diagnostic_on_unknown` feature)
- rust-lang/rust#159235 (Add regression test for rust-lang/rust#95719)
- rust-lang/rust#159243 (inline Once wait and wait_force)
- rust-lang/rust#159255 (Replace shortened type with `_` instead of `...` as placeholder)
- rust-lang/rust#159259 (Add regression test for rust-lang/rust#144033)
- rust-lang/rust#159265 (bootstrap: skip intrinsic-test when rustfmt is unavailable)
- rust-lang/rust#159269 (disable range-len-try-from.rs on s390x)
- rust-lang/rust#159272 (slice: make swap delegate to swap_unchecked)
- rust-lang/rust#159274 (bootstrap: Rename `std_crates_for_run_make` to `std_crates_for_make_run`)
- rust-lang/rust#159275 (remove obsolete comment)
- rust-lang/rust#159277 (Construct `tokens` for attrs made by `mk_attr_word` and other variants)
- rust-lang/rust#159283 (Remove obsolete verbose flag from deref/ref suggestions)
- rust-lang/rust#159290 (rustc-dev-guide subtree update)
Kobzol pushed a commit to Kobzol/rustc_codegen_cranelift that referenced this pull request Jul 23, 2026
@bors
Auto merge of #159293 - JonathanBrouwer:rollup-bZ1e8vF, r=JonathanBro…
6553d41
…uwer
Rollup of 22 pull requests
Successful merges:
- rust-lang/rust#156047 (Fix trait method resolution on an adjusted never type)
- rust-lang/rust#157824 (Comptime inherent impls)
- rust-lang/rust#158235 (Store `DefId` instead of `EiiDecl` in `EiiImplResolution::Known`)
- rust-lang/rust#158723 (Support EII on Windows MSVC)
- rust-lang/rust#158993 (rerun in original typing mode if we meet any opaques in post analysis)
- rust-lang/rust#159160 (Make `HasTokens` a sub-trait of `HasAttrs`.)
- rust-lang/rust#159183 (Introduce InstanceKind::LlvmIntrinsic)
- rust-lang/rust#159251 (Bump rustc-perf submodule)
- rust-lang/rust#155013 (Suggest the `[const] Destruct` bound for type parameters in const functions when missing)
- rust-lang/rust#159155 (unstable book: Document `diagnostic_on_unknown` feature)
- rust-lang/rust#159235 (Add regression test for rust-lang/rust#95719)
- rust-lang/rust#159243 (inline Once wait and wait_force)
- rust-lang/rust#159255 (Replace shortened type with `_` instead of `...` as placeholder)
- rust-lang/rust#159259 (Add regression test for rust-lang/rust#144033)
- rust-lang/rust#159265 (bootstrap: skip intrinsic-test when rustfmt is unavailable)
- rust-lang/rust#159269 (disable range-len-try-from.rs on s390x)
- rust-lang/rust#159272 (slice: make swap delegate to swap_unchecked)
- rust-lang/rust#159274 (bootstrap: Rename `std_crates_for_run_make` to `std_crates_for_make_run`)
- rust-lang/rust#159275 (remove obsolete comment)
- rust-lang/rust#159277 (Construct `tokens` for attrs made by `mk_attr_word` and other variants)
- rust-lang/rust#159283 (Remove obsolete verbose flag from deref/ref suggestions)
- rust-lang/rust#159290 (rustc-dev-guide subtree update)
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@KivooeoKivooeoKivooeo approved these changes

Assignees

@KivooeoKivooeo

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

1.99.0

Development

Successfully merging this pull request may close these issues.

ICE: cannot relate bound region

4 participants

@Joel-Wwalker@rustbot@Kivooeo@JonathanBrouwer