Skip to content

Conversation

jdonszelmann
Copy link
Contributor

@jdonszelmann jdonszelmann commented Sep 30, 2025

r? @BoxyUwU

if the comment says x should be last, it helps if it's actually last hehe :P

Fixes rust-lang/trait-system-refactor-initiative#239

@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 Sep 30, 2025
@jdonszelmann
Copy link
Contributor Author

cc: @lcnr

@jackh726
Copy link
Member

jackh726 commented Oct 1, 2025

Is this also fixed by https://github.com/jackh726/rust/tree/opaque-type-fallback

My guess is yes.

@lcnr
Copy link
Contributor

lcnr commented Oct 1, 2025

Is this also fixed by https://github.com/jackh726/rust/tree/opaque-type-fallback

My guess is yes.

Yes, though there should be tests which require both changes, i.e. if we've got

  • no defining uses pre fallback
  • one defining use after fallback
  • one non-defining use referencing an infer var as the hidden type
  • second handle_opaque_type_uses now uses fallback to constrain the hidden type of the non-defining use to reference a coroutine

We should write atest for this in whatever PR merges second :3

@jdonszelmann
Copy link
Contributor Author

@rustbot ready

@lcnr
Copy link
Contributor

lcnr commented Oct 1, 2025

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 1, 2025

📌 Commit 0435b16 has been approved by lcnr

It is now in the queue for this repository.

@bors bors 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 Oct 1, 2025
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Oct 1, 2025
Swap order of `resolve_coroutine_interiors` and `handle_opaque_type_uses`

r? `@BoxyUwU`

if the comment says x should be last, it helps if it's actually last hehe :P

Fixes rust-lang/trait-system-refactor-initiative#239
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Oct 1, 2025
Swap order of `resolve_coroutine_interiors` and `handle_opaque_type_uses`

r? ``@BoxyUwU``

if the comment says x should be last, it helps if it's actually last hehe :P

Fixes rust-lang/trait-system-refactor-initiative#239
bors added a commit that referenced this pull request Oct 1, 2025
Rollup of 8 pull requests

Successful merges:

 - #146593 (Allow specifying multiple bounds for same associated item, except in trait objects)
 - #147177 ([DebugInfo] Fix MSVC tuple child creation)
 - #147195 (iter repeat: add tests for new count and last behavior)
 - #147202 (Swap order of `resolve_coroutine_interiors` and `handle_opaque_type_uses`)
 - #147204 (Refactor ArrayWindows to use a slice)
 - #147219 (Add proper error handling for closure in impl)
 - #147226 (include `outer_inclusive_binder` of pattern types)
 - #147230 (Fix typo in 'unfulfilled_lint_expectation' to plural)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 25f1d82 into rust-lang:master Oct 1, 2025
10 checks passed
@rustbot rustbot added this to the 1.92.0 milestone Oct 1, 2025
rust-timer added a commit that referenced this pull request Oct 1, 2025
Rollup merge of #147202 - jdonszelmann:swap-order, r=lcnr

Swap order of `resolve_coroutine_interiors` and `handle_opaque_type_uses`

r? ```@BoxyUwU```

if the comment says x should be last, it helps if it's actually last hehe :P

Fixes rust-lang/trait-system-refactor-initiative#239
github-actions bot pushed a commit to model-checking/verify-rust-std that referenced this pull request Oct 9, 2025
…iaskrgr

Rollup of 8 pull requests

Successful merges:

 - rust-lang#146593 (Allow specifying multiple bounds for same associated item, except in trait objects)
 - rust-lang#147177 ([DebugInfo] Fix MSVC tuple child creation)
 - rust-lang#147195 (iter repeat: add tests for new count and last behavior)
 - rust-lang#147202 (Swap order of `resolve_coroutine_interiors` and `handle_opaque_type_uses`)
 - rust-lang#147204 (Refactor ArrayWindows to use a slice)
 - rust-lang#147219 (Add proper error handling for closure in impl)
 - rust-lang#147226 (include `outer_inclusive_binder` of pattern types)
 - rust-lang#147230 (Fix typo in 'unfulfilled_lint_expectation' to plural)

r? `@ghost`
`@rustbot` modify labels: rollup
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.

poem: resolve_coroutine_interiors happens before handle_opaque_type_uses

6 participants