Skip to content

Add regression test for recursive lazy type alias normalization ICE#154549

Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
jeanibarz:fix/add-test-152633
Mar 30, 2026
Merged

Add regression test for recursive lazy type alias normalization ICE#154549
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
jeanibarz:fix/add-test-152633

Conversation

@jeanibarz
Copy link
Copy Markdown
Contributor

@jeanibarz jeanibarz commented Mar 29, 2026

Regression test for #152633.

The normalization ICE with recursive lazy_type_alias + min_generic_const_args was fixed by #152040 but didn't get a test. Compiler now reports E0275 instead of crashing.

Closes #152633

@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 Mar 29, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Mar 29, 2026

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 69 candidates
  • Random selection from 12 candidates

@jeanibarz jeanibarz force-pushed the fix/add-test-152633 branch 3 times, most recently from 678957c to 9fd2c9e Compare March 29, 2026 13:40
Exercises a self-referencing type alias with lazy_type_alias and
min_generic_const_args, which previously caused an ICE during
normalization.
@jeanibarz jeanibarz changed the title Add regression test for #152633 Add regression test for recursive lazy type alias normalization ICE Mar 29, 2026
@chenyukang
Copy link
Copy Markdown
Member

Thanks!
@bors r=chenyukang

@rust-bors
Copy link
Copy Markdown
Contributor

rust-bors bot commented Mar 29, 2026

📌 Commit 9fd2c9e 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 Mar 29, 2026
rust-bors bot pushed a commit that referenced this pull request Mar 29, 2026
…uwer

Rollup of 11 pull requests

Successful merges:

 - #154074 (don't drop arguments' temporaries in `dbg!`)
 - #154328 (rustdoc: add missing {os,target,target_env} values for cfg pretty printer)
 - #154540 (Fix invalid type suggestion for item nested in function)
 - #154549 (Add regression test for recursive lazy type alias normalization ICE)
 - #153373 (Fix LegacyKeyValueFormat report from docker build: powerpc)
 - #154322 (feat: reimplement `hash_map!` macro)
 - #154416 (Add `IoSplit` diagnostic item for `std::io::Split`)
 - #154486 (std_detect on AArch64 Darwin: Detect FEAT_SVE_B16B16)
 - #154508 (Fix ambiguous parsing in bootstrap.py)
 - #154518 (Panic in Hermit clock_gettime)
 - #154530 (update zulip link in `std` documentation)
@rust-bors rust-bors bot merged commit 59e6f0d into rust-lang:main Mar 30, 2026
11 checks passed
@rustbot rustbot added this to the 1.96.0 milestone Mar 30, 2026
rust-timer added a commit that referenced this pull request Mar 30, 2026
Rollup merge of #154549 - jeanibarz:fix/add-test-152633, r=chenyukang

Add regression test for recursive lazy type alias normalization ICE

Regression test for #152633.

The normalization ICE with recursive lazy_type_alias + min_generic_const_args was fixed by #152040 but didn't get a test. Compiler now reports E0275 instead of crashing.

Closes #152633
github-actions bot pushed a commit to rust-lang/miri that referenced this pull request Mar 30, 2026
…uwer

Rollup of 11 pull requests

Successful merges:

 - rust-lang/rust#154074 (don't drop arguments' temporaries in `dbg!`)
 - rust-lang/rust#154328 (rustdoc: add missing {os,target,target_env} values for cfg pretty printer)
 - rust-lang/rust#154540 (Fix invalid type suggestion for item nested in function)
 - rust-lang/rust#154549 (Add regression test for recursive lazy type alias normalization ICE)
 - rust-lang/rust#153373 (Fix LegacyKeyValueFormat report from docker build: powerpc)
 - rust-lang/rust#154322 (feat: reimplement `hash_map!` macro)
 - rust-lang/rust#154416 (Add `IoSplit` diagnostic item for `std::io::Split`)
 - rust-lang/rust#154486 (std_detect on AArch64 Darwin: Detect FEAT_SVE_B16B16)
 - rust-lang/rust#154508 (Fix ambiguous parsing in bootstrap.py)
 - rust-lang/rust#154518 (Panic in Hermit clock_gettime)
 - rust-lang/rust#154530 (update zulip link in `std` documentation)
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.

[ICE]: Failed to normalize Alias(Free

3 participants