Skip to content

Simply try to unpeel AsyncFnKindHelper goal in emit_specialized_closure_kind_error - #140318

Merged
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:specialized-async-fn-kind-err
Apr 26, 2025
Merged

Simply try to unpeel AsyncFnKindHelper goal in emit_specialized_closure_kind_error#140318
bors merged 1 commit into
rust-lang:masterfrom
compiler-errors:specialized-async-fn-kind-err

Conversation

@compiler-errors

Copy link
Copy Markdown
Contributor

Tweak the handling of AsyncFnKindHelper goals in emit_specialized_closure_kind_error to not be so special-casey, and just try to unpeel one or two layers of obligation causes to get to their underlying AsyncFn* goal.

Fixes#140292

@rustbot

Copy link
Copy Markdown
Collaborator

r? @fee1-dead

rustbot has assigned @fee1-dead.
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

@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 26, 2025
@fee1-dead

Copy link
Copy Markdown
Member

@bors r+

@bors

bors commented Apr 26, 2025

Copy link
Copy Markdown
Collaborator

📌 Commit 4b309c6 has been approved by fee1-dead

It is now in the queue for this repository.

@borsbors 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 Apr 26, 2025
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Apr 26, 2025
…fn-kind-err, r=fee1-dead
Simply try to unpeel AsyncFnKindHelper goal in `emit_specialized_closure_kind_error`
Tweak the handling of `AsyncFnKindHelper` goals in `emit_specialized_closure_kind_error` to not be so special-casey, and just try to unpeel one or two layers of obligation causes to get to their underlying `AsyncFn*` goal.
Fixesrust-lang#140292
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 26, 2025
…iaskrgr
Rollup of 7 pull requests
Successful merges:
- rust-lang#123239 (Implement a lint for implicit autoref of raw pointer dereference - take 2)
- rust-lang#140215 (transmutability: Support char, NonZeroXxx)
- rust-lang#140226 (Update wasm-component-ld to 0.5.13)
- rust-lang#140302 (Move inline asm check to typeck, properly handle aliases)
- rust-lang#140317 (Remove redundant check)
- rust-lang#140318 (Simply try to unpeel AsyncFnKindHelper goal in `emit_specialized_closure_kind_error`)
- rust-lang#140325 (Grammar fixes for BufRead::has_data_left docs)
r? `@ghost`
`@rustbot` modify labels: rollup
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Apr 26, 2025
…fn-kind-err, r=fee1-dead
Simply try to unpeel AsyncFnKindHelper goal in `emit_specialized_closure_kind_error`
Tweak the handling of `AsyncFnKindHelper` goals in `emit_specialized_closure_kind_error` to not be so special-casey, and just try to unpeel one or two layers of obligation causes to get to their underlying `AsyncFn*` goal.
Fixesrust-lang#140292
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 26, 2025
…iaskrgr
Rollup of 6 pull requests
Successful merges:
- rust-lang#123239 (Implement a lint for implicit autoref of raw pointer dereference - take 2)
- rust-lang#140215 (transmutability: Support char, NonZeroXxx)
- rust-lang#140226 (Update wasm-component-ld to 0.5.13)
- rust-lang#140317 (Remove redundant check)
- rust-lang#140318 (Simply try to unpeel AsyncFnKindHelper goal in `emit_specialized_closure_kind_error`)
- rust-lang#140325 (Grammar fixes for BufRead::has_data_left docs)
r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 26, 2025
…iaskrgr
Rollup of 6 pull requests
Successful merges:
- rust-lang#140215 (transmutability: Support char, NonZeroXxx)
- rust-lang#140226 (Update wasm-component-ld to 0.5.13)
- rust-lang#140317 (Remove redundant check)
- rust-lang#140318 (Simply try to unpeel AsyncFnKindHelper goal in `emit_specialized_closure_kind_error`)
- rust-lang#140320 (replace `GenericArg` with `Term` where applicable)
- rust-lang#140325 (Grammar fixes for BufRead::has_data_left docs)
r? `@ghost`
`@rustbot` modify labels: rollup
@compiler-errors

Copy link
Copy Markdown
ContributorAuthor

@bors rollup

@bors
bors merged commit 443358d into rust-lang:masterApr 26, 2025
@rustbotrustbot added this to the 1.88.0 milestone Apr 26, 2025
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request Apr 26, 2025
Rollup merge of rust-lang#140318 - compiler-errors:specialized-async-fn-kind-err, r=fee1-dead
Simply try to unpeel AsyncFnKindHelper goal in `emit_specialized_closure_kind_error`
Tweak the handling of `AsyncFnKindHelper` goals in `emit_specialized_closure_kind_error` to not be so special-casey, and just try to unpeel one or two layers of obligation causes to get to their underlying `AsyncFn*` goal.
Fixesrust-lang#140292
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.

impl AsyncFn where AsyncFnMut is required leads to confusing internal_implementation_detail::AsyncFnKindHelper<i8> constraint requirement

4 participants

@compiler-errors@rustbot@fee1-dead@bors