Skip to content

Add regression test for hang in overlap check with GAT alias - #164287

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-151503
Oct 14, 2026
Merged

rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-151503

Conversation

@zakrad

@zakrad zakrad commented Oct 13, 2026 •

Copy link
Copy Markdown
Contributor

Fixes #151503

The hang was fixed by #156742.

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

rustbot commented Oct 13, 2026

Copy link
Copy Markdown
Collaborator

r? @adwinwhite

rustbot has assigned @adwinwhite.
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 77 candidates
  • Random selection from 20 candidates

@adwinwhite

Copy link
Copy Markdown
Contributor

Thanks!

@bors r+ rollup

@rust-bors

rust-bors Bot commented Oct 14, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 6ffc09a has been approved by adwinwhite

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 Oct 14, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Oct 14, 2026
Add regression test for hang in overlap check with GAT alias

Fixes rust-lang#151503

The hang was fixed by rust-lang#156742.
rust-bors Bot pushed a commit that referenced this pull request Oct 14, 2026
…uwer

Rollup of 11 pull requests

Successful merges:

 - #162749 (Recover missing `turbofish` for `lifetime` arguments in expression position)
 - #164170 (Prefer WriteConsoleW for stdout on Windows)
 - #164255 (test DSL eagerly handle false constraints)
 - #163230 (Document zero-sized allocations properly for `Box` and `Vec`)
 - #163940 (Parse move exprs as a bottom expr instead of a prefix expr)
 - #164219 (Windows FileExt trait doesn't need to handle ErrorKind::Interrupted; test improvements for same)
 - #164220 (Test the interaction between `--remap-path-prefix` and doctests)
 - #164266 (rustdoc: Improvements for `rustc_must_implement_one_of`)
 - #164272 (Add regression test for #155977)
 - #164287 (Add regression test for hang in overlap check with GAT alias)
 - #164301 (fix issue number for feature(unsized_const_params))
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Oct 14, 2026
Add regression test for hang in overlap check with GAT alias

Fixes rust-lang#151503

The hang was fixed by rust-lang#156742.
rust-bors Bot pushed a commit that referenced this pull request Oct 14, 2026
…uwer

Rollup of 17 pull requests

Successful merges:

 - #162749 (Recover missing `turbofish` for `lifetime` arguments in expression position)
 - #164165 (Add a new `rustc_show_spans` internal attribute)
 - #164170 (Prefer WriteConsoleW for stdout on Windows)
 - #164208 (Implement better resolution for delegation `Self` mapping field)
 - #164255 (test DSL eagerly handle false constraints)
 - #163230 (Document zero-sized allocations properly for `Box` and `Vec`)
 - #163442 (Fix fudging)
 - #163940 (Parse move exprs as a bottom expr instead of a prefix expr)
 - #164079 (document some quirks around directory symlinks on Windows)
 - #164178 (Fix `diagnostic::on_unknown` format placeholder for paths in expressions and type paths)
 - #164219 (Windows FileExt trait doesn't need to handle ErrorKind::Interrupted; test improvements for same)
 - #164266 (rustdoc: Improvements for `rustc_must_implement_one_of`)
 - #164272 (Add regression test for #155977)
 - #164287 (Add regression test for hang in overlap check with GAT alias)
 - #164292 (Remove the `span_use_eq_ctxt` lint)
 - #164301 (fix issue number for feature(unsized_const_params))
 - #164309 (point at the opaque when its hidden type cannot be inferred)
@rust-bors
rust-bors Bot merged commit 6adab09 into rust-lang:main Oct 14, 2026
14 checks passed
@rustbot rustbot added this to the 1.101.0 milestone Oct 14, 2026
rust-bors Bot pushed a commit that referenced this pull request Oct 14, 2026
Rollup merge of #164287 - zakrad:regr-test-151503, r=adwinwhite

Add regression test for hang in overlap check with GAT alias

Fixes #151503

The hang was fixed by #156742.
josetorrs pushed a commit to josetorrs/miri that referenced this pull request Oct 16, 2026
…uwer

Rollup of 17 pull requests

Successful merges:

 - rust-lang/rust#162749 (Recover missing `turbofish` for `lifetime` arguments in expression position)
 - rust-lang/rust#164165 (Add a new `rustc_show_spans` internal attribute)
 - rust-lang/rust#164170 (Prefer WriteConsoleW for stdout on Windows)
 - rust-lang/rust#164208 (Implement better resolution for delegation `Self` mapping field)
 - rust-lang/rust#164255 (test DSL eagerly handle false constraints)
 - rust-lang/rust#163230 (Document zero-sized allocations properly for `Box` and `Vec`)
 - rust-lang/rust#163442 (Fix fudging)
 - rust-lang/rust#163940 (Parse move exprs as a bottom expr instead of a prefix expr)
 - rust-lang/rust#164079 (document some quirks around directory symlinks on Windows)
 - rust-lang/rust#164178 (Fix `diagnostic::on_unknown` format placeholder for paths in expressions and type paths)
 - rust-lang/rust#164219 (Windows FileExt trait doesn't need to handle ErrorKind::Interrupted; test improvements for same)
 - rust-lang/rust#164266 (rustdoc: Improvements for `rustc_must_implement_one_of`)
 - rust-lang/rust#164272 (Add regression test for rust-lang/rust#155977)
 - rust-lang/rust#164287 (Add regression test for hang in overlap check with GAT alias)
 - rust-lang/rust#164292 (Remove the `span_use_eq_ctxt` lint)
 - rust-lang/rust#164301 (fix issue number for feature(unsized_const_params))
 - rust-lang/rust#164309 (point at the opaque when its hidden type cannot be inferred)
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.

Hang: Compiler hang in resolving Matrix<(), > with GATs [next-solver]

3 participants