Skip to content

Add regression test for overlap check hang with unresolved type in where clause - #165120

Open
zakrad wants to merge 1 commit into
rust-lang:mainfrom
zakrad:regr-test-152169
Open

zakrad wants to merge 1 commit into
rust-lang:mainfrom
zakrad:regr-test-152169

Conversation

@zakrad

@zakrad zakrad commented Oct 29, 2026 •

Copy link
Copy Markdown
Contributor

Fixes #152169

Fixed by #150453

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

rustbot commented Oct 29, 2026

Copy link
Copy Markdown
Collaborator

r? @chenyukang

rustbot has assigned @chenyukang.
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 21 candidates

@chenyukang

Copy link
Copy Markdown
Member

@bors r+ rollup

@rust-bors

rust-bors Bot commented Oct 30, 2026

Copy link
Copy Markdown
Contributor

📌 Commit ec550e6 has been approved by chenyukang

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 30, 2026
jhpratt added a commit to jhpratt/rust that referenced this pull request Oct 31, 2026
Add regression test for overlap check hang with unresolved type in where clause

Fixes rust-lang#152169

Fixed by rust-lang#150453
rust-bors Bot pushed a commit that referenced this pull request Oct 31, 2026
Rollup of 19 pull requests

Successful merges:

 - #160370 (rustdoc: notable trait badge and popover enhancements)
 - #163410 (Use a macro to reduce duplication in `core/src/num/f{16,32,64,128}.rs` (part 1))
 - #164290 (virtual function elimination: only use `type.checked.load` for function pointers)
 - #165113 (Limit lldb string summary length)
 - #165146 (Stop using LLVM struct types for array/pointer offset GEPs (rebase))
 - #165197 (Inline usages of `is_doc_keyword_or_attribute` and `is_rustc_doc_primitive`)
 - #165209 (Don't ICE when making diagnostic in `point_at_dyn_trait_in_field_def` if there's no `dyn Trait` field to point at)
 - #153633 (feat: improve `Cell` doc)
 - #164686 (Add regression test for new solver hang on cyclic projection bound)
 - #164937 (Add example for misaligned elements in `subslice_range`)
 - #164981 (Reflection add TypeId::name)
 - #165035 (Suggest `gca!` for path const args that use generic params)
 - #165106 (Windows: Disallow some special chars in bat script names)
 - #165120 (Add regression test for overlap check hang with unresolved type in where clause)
 - #165158 (Tiny optimization to `TypeErrCtxt::report_inference_failure()`)
 - #165184 (GCI: Check where-clauses of associated constants for well-formedness)
 - #165190 (Improve delayed bug comment and message on first_method_vtable_slot)
 - #165196 (inhabitedness: use try_normalize_erasing_regions on ADT fields)
 - #165206 (tests: clarify dead_code_pub_in_binary FIXME after Cargo workaround)

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-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.

rustc hangs in trait solver due to infinite recursion in generic tuple implementation

3 participants