Skip to content

Fix ICE for inherited const conditions on const closures#154874

Open
cijiugechu wants to merge 1 commit intorust-lang:mainfrom
cijiugechu:fix-const-closure-inherited-conditions
Open

Fix ICE for inherited const conditions on const closures#154874
cijiugechu wants to merge 1 commit intorust-lang:mainfrom
cijiugechu:fix-const-closure-inherited-conditions

Conversation

@cijiugechu
Copy link
Copy Markdown
Contributor

@cijiugechu cijiugechu commented Apr 6, 2026

Synchronize evaluate_host_effect_for_fn_goal with the behavior of extract_fn_def_from_const_callable in new solver.

Closes #153861 .

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Apr 6, 2026
@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Apr 6, 2026
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Apr 6, 2026

r? @JonathanBrouwer

rustbot has assigned @JonathanBrouwer.
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, types
  • compiler, types expanded to 69 candidates
  • Random selection from 12 candidates

@fmease fmease added the PG-const-traits Project group: Const traits label Apr 8, 2026
@JonathanBrouwer
Copy link
Copy Markdown
Contributor

r? types

@rustbot rustbot added the T-types Relevant to the types team, which will review and decide on the PR/issue. label Apr 10, 2026
@rustbot rustbot assigned lcnr and unassigned JonathanBrouwer Apr 10, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PG-const-traits Project group: Const traits 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. T-types Relevant to the types team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ICE]: the trait bound .. is not satisfied

5 participants