Skip to content

Fix min-specialization ICE from ignored region resolution failure - #155159

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
TaKO8Ki:min-specialization-next-solver-region-resolution
Apr 12, 2026
Merged

Fix min-specialization ICE from ignored region resolution failure#155159
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
TaKO8Ki:min-specialization-next-solver-region-resolution

Conversation

@TaKO8Ki

@TaKO8KiTaKO8Ki commented Apr 11, 2026

Copy link
Copy Markdown
Member

Fixes#151327

min_specialization::get_impl_args resolved regions and then immediately called fully_resolve, but it ignored failures from resolve_regions_and_report_errors.

Propagate the region-resolution error instead of ignoring it. That matches the pattern used in:

ocx.resolve_regions_and_report_errors(impl_m_def_id, param_env, wf_tys)?;

ocx.resolve_regions_and_report_errors(impl_did, param_env,[])?;

@rustbotrustbot 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 Apr 11, 2026
@rustbot

Copy link
Copy Markdown
Collaborator

r? @mati865

rustbot has assigned @mati865.
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 69 candidates
  • Random selection from 10 candidates

@Kivooeo

Copy link
Copy Markdown
Member

r? me @bors r+ rollup

@rust-bors

rust-borsBot commented Apr 12, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 40a3ed1 has been approved by Kivooeo

It is now in the queue for this repository.

@rust-borsrust-borsBot added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Apr 12, 2026
@rust-borsrust-borsBot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 12, 2026
@jhprattjhpratt mentioned this pull request Apr 12, 2026
rust-borsBot pushed a commit that referenced this pull request Apr 12, 2026
Rollup of 7 pull requests
Successful merges:
- #155084 (Initial functions to start on transmute v2)
- #155126 (add `cfg(target_object_format = "...")`)
- #155165 (Portable SIMD subtree update)
- #153871 (fix spurious test failure in `metadata_access_times`)
- #155150 (replace <name> @ ty::AliasTy matches with just using args: <name>_args)
- #155159 (Fix min-specialization ICE from ignored region resolution failure)
- #155167 (Reduce size of `ImportData`)
@rust-bors
rust-borsBot merged commit 22328dc into rust-lang:mainApr 12, 2026
11 checks passed
@rustbotrustbot added this to the 1.97.0 milestone Apr 12, 2026
rust-timer added a commit that referenced this pull request Apr 12, 2026
Rollup merge of #155159 - TaKO8Ki:min-specialization-next-solver-region-resolution, r=Kivooeo
Fix min-specialization ICE from ignored region resolution failure
Fixes#151327
`min_specialization::get_impl_args` resolved regions and then immediately called `fully_resolve`, but it ignored failures from `resolve_regions_and_report_errors`.
Propagate the region-resolution error instead of ignoring it. That matches the pattern used in:
https://github.com/rust-lang/rust/blob/40a3ed1e1407ebbe892ce1a74128482ea1dadf7a/compiler/rustc_hir_analysis/src/check/compare_impl_item.rs#L706https://github.com/rust-lang/rust/blob/40a3ed1e1407ebbe892ce1a74128482ea1dadf7a/compiler/rustc_hir_analysis/src/coherence/builtin.rs#L421
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

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

Development

Successfully merging this pull request may close these issues.

[ICE]: region resolution not performed

4 participants

@TaKO8Ki@rustbot@Kivooeo@mati865