Skip to content

Add regression test for #132767 - #160027

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-132767
Jul 28, 2026
Merged

Add regression test for #132767#160027
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
zakrad:regr-test-132767

Conversation

@zakrad

@zakrad zakrad commented Jul 27, 2026 •
edited by rustbot
Loading

Copy link
Copy Markdown
Contributor

Closes #132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.

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

rustbot commented Jul 27, 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 @nnethercote (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 74 candidates
  • Random selection from 19 candidates

@rustbot

This comment has been minimized.

Sign in to view
@zakrad
zakrad force-pushed the regr-test-132767 branch from 0eb1907 to 61a289d Compare July 27, 2026 19:24
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@zakrad
Add regression test for fn-ptr coercion normalization ICE
7696641 
Coercing the fn item `bar` to a fn pointer while `Foo::value` holds the
associated-type projection `<<T as Func>::Ret as Id>::Assoc` used to ICE
during normalization ("maybe try to call `try_normalize_erasing_regions`
instead"). It now reports the ordinary `u32: Id` trait-bound error instead
of crashing.
@zakrad
zakrad force-pushed the regr-test-132767 branch from 61a289d to 7696641 Compare July 27, 2026 20:24
@chenyukang

chenyukang commented Jul 28, 2026

Copy link
Copy Markdown
Member

@bors r+ rollup

@rust-bors

rust-bors Bot commented Jul 28, 2026

Copy link
Copy Markdown
Contributor

📌 Commit 7696641 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 Jul 28, 2026
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
a703a8f 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
@JonathanBrouwer JonathanBrouwer mentioned this pull request Jul 28, 2026
Closed
rust-bors Bot pushed a commit that referenced this pull request Jul 28, 2026
@bors
Auto merge of #160070 - JonathanBrouwer:rollup-ALUQLqB, r=JonathanBro…
af2a4ae 
…uwer

Rollup of 5 pull requests

Successful merges:

 - #159784 (Hint that memchr returns an in-bounds index)
 - #160027 (Add regression test for #132767)
 - #160030 (Update `browser-ui-test` version to `0.25.0`)
 - #160046 (Improve consistency of attribute error messages (part 2))
 - #160056 (Fix associated function suggestion for generic ADTs)
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
de5ee6b 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
@JonathanBrouwer JonathanBrouwer mentioned this pull request Jul 28, 2026
Closed
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
27f71b2 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
@JonathanBrouwer JonathanBrouwer mentioned this pull request Jul 28, 2026
Closed
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
28e13b2 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
@JonathanBrouwer JonathanBrouwer mentioned this pull request Jul 28, 2026
Closed
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
48d1dd3 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
@JonathanBrouwer JonathanBrouwer mentioned this pull request Jul 28, 2026
Closed
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
ad4c49a 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
@JonathanBrouwer JonathanBrouwer mentioned this pull request Jul 28, 2026
Closed
rust-bors Bot pushed a commit that referenced this pull request Jul 28, 2026
@bors
Auto merge of #160089 - JonathanBrouwer:rollup-YDn7kro, r=JonathanBro…
550ecb7 
…uwer

Rollup of 14 pull requests

Successful merges:

 - #159990 (Many "predicate"-to-"clause" renamings)
 - #159665 (Replace most `Ty::new_fn_def` calls with `type_of` queries directly)
 - #159687 (rustdoc: Set tracing max_level_info when debug-logging is false)
 - #160065 (Distinguish the dep-graph index space from the live node count)
 - #159978 (run intrinsic-test by default on x86_64-gnu)
 - #160008 (Avoid stale closure recovery state across statements)
 - #160027 (Add regression test for #132767)
 - #160030 (Update `browser-ui-test` version to `0.25.0`)
 - #160046 (Improve consistency of attribute error messages (part 2))
 - #160056 (Fix associated function suggestion for generic ADTs)
 - #160069 (Update Rust crate tracing-subscriber to v0.3.23 [SECURITY])
 - #160071 (sanitize_standard_fds: clarify macos comment)
 - #160076 (use unstable features when updating dependencies)
 - #160088 (fix 404 url in src/doc/rustdoc.md)
JonathanBrouwer added a commit to JonathanBrouwer/rust that referenced this pull request Jul 28, 2026
@JonathanBrouwer
Rollup merge of rust-lang#160027 - zakrad:regr-test-132767, r=chenyukang
d0a9c90 
Add regression test for rust-lang#132767

Closes rust-lang#132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
This was referenced Jul 28, 2026
Closed
Merged
rust-bors Bot pushed a commit that referenced this pull request Jul 28, 2026
@bors
Auto merge of #160102 - JonathanBrouwer:rollup-0WT4269, r=JonathanBro…
26ae60a 
…uwer

Rollup of 21 pull requests

Successful merges:

 - #159990 (Many "predicate"-to-"clause" renamings)
 - #159665 (Replace most `Ty::new_fn_def` calls with `type_of` queries directly)
 - #159687 (rustdoc: Set tracing max_level_info when debug-logging is false)
 - #160057 (refactor(mir-transform): Calculate optimization status inside `run_passes_inner`)
 - #160060 (codegen: skip stores for entirely-uninit constant aggregate fields, attempt #2)
 - #160063 (Fix ICE when dumping the dep graph with the parallel frontend)
 - #160065 (Distinguish the dep-graph index space from the live node count)
 - #158038 (Split register_tool into register_attribute_tool and register_lint_tool)
 - #159776 (remove const hack in alloc)
 - #159978 (run intrinsic-test by default on x86_64-gnu)
 - #160008 (Avoid stale closure recovery state across statements)
 - #160027 (Add regression test for #132767)
 - #160030 (Update `browser-ui-test` version to `0.25.0`)
 - #160046 (Improve consistency of attribute error messages (part 2))
 - #160056 (Fix associated function suggestion for generic ADTs)
 - #160069 (Update Rust crate tracing-subscriber to v0.3.23 [SECURITY])
 - #160071 (sanitize_standard_fds: clarify macos comment)
 - #160076 (use unstable features when updating dependencies)
 - #160092 (miri ui tests: don't run native tests on stage 0)
 - #160093 (Switch cargo assignments to weihanglo)
 - #160094 (Update assignment for docs)
@rust-bors
rust-bors Bot merged commit 1cb8d93 into rust-lang:main Jul 28, 2026
13 checks passed
@rustbot rustbot added this to the 1.99.0 milestone Jul 28, 2026
rust-timer added a commit that referenced this pull request Jul 28, 2026
@rust-timer
Unrolled build for #160027
0a8b91a 
Rollup merge of #160027 - zakrad:regr-test-132767, r=chenyukang

Add regression test for #132767

Closes #132767. Coercing a fn item to a fn pointer with an associated type projection used to ICE during normalization. now errors with E0277.
pull Bot pushed a commit to LeeeeeeM/miri that referenced this pull request Jul 29, 2026
@bors
Auto merge of #160102 - JonathanBrouwer:rollup-0WT4269, r=JonathanBro…
9a46d50 
…uwer

Rollup of 21 pull requests

Successful merges:

 - rust-lang/rust#159990 (Many "predicate"-to-"clause" renamings)
 - rust-lang/rust#159665 (Replace most `Ty::new_fn_def` calls with `type_of` queries directly)
 - rust-lang/rust#159687 (rustdoc: Set tracing max_level_info when debug-logging is false)
 - rust-lang/rust#160057 (refactor(mir-transform): Calculate optimization status inside `run_passes_inner`)
 - rust-lang/rust#160060 (codegen: skip stores for entirely-uninit constant aggregate fields, attempt rust-lang/rust#2)
 - rust-lang/rust#160063 (Fix ICE when dumping the dep graph with the parallel frontend)
 - rust-lang/rust#160065 (Distinguish the dep-graph index space from the live node count)
 - rust-lang/rust#158038 (Split register_tool into register_attribute_tool and register_lint_tool)
 - rust-lang/rust#159776 (remove const hack in alloc)
 - rust-lang/rust#159978 (run intrinsic-test by default on x86_64-gnu)
 - rust-lang/rust#160008 (Avoid stale closure recovery state across statements)
 - rust-lang/rust#160027 (Add regression test for rust-lang/rust#132767)
 - rust-lang/rust#160030 (Update `browser-ui-test` version to `0.25.0`)
 - rust-lang/rust#160046 (Improve consistency of attribute error messages (part 2))
 - rust-lang/rust#160056 (Fix associated function suggestion for generic ADTs)
 - rust-lang/rust#160069 (Update Rust crate tracing-subscriber to v0.3.23 [SECURITY])
 - rust-lang/rust#160071 (sanitize_standard_fds: clarify macos comment)
 - rust-lang/rust#160076 (use unstable features when updating dependencies)
 - rust-lang/rust#160092 (miri ui tests: don't run native tests on stage 0)
 - rust-lang/rust#160093 (Switch cargo assignments to weihanglo)
 - rust-lang/rust#160094 (Update assignment for docs)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@nnethercote nnethercote

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

Milestone

1.99.0

Development

Successfully merging this pull request may close these issues.

[ICE]: maybe try to call try_normalize_erasing_regions instead

5 participants

@zakrad @rustbot @rust-log-analyzer @chenyukang @nnethercote