Skip to content

fix the other known opaque types issue - #2917

Closed
tjhance wants to merge 14 commits into
mainfrom
rustc-test2
Closed

tjhance wants to merge 14 commits into
mainfrom
rustc-test2

Conversation

@tjhance

@tjhance tjhance commented Sep 8, 2026

Copy link
Copy Markdown
Collaborator

(depends on #2889)

fixes #2323

In this case, the problem is that the call to opaque_type from the rustc_trait_selection crate depends on mir_borrowck. Replacing this with a call to opaque_type_hir_typeck (which is okay during the hir_typeck phase) solves the issue.

Unfortunately, forking rustc_trait_selection also requires us to fork several crates that depend on it, particularly rustc_hir_typeck and rustc_traits. So this adds a total of 3 crates. (But we wanted to fork rustc_hir_typeck anyway.)

TODO:

  • tests
  • update the updater script

@tjhance

tjhance commented Sep 8, 2026

Copy link
Copy Markdown
Collaborator Author

Also TODO: see if there are any problems with opaque types from imported crates

@tjhance tjhance closed this Sep 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Crash when passing Future to function with additional bound

1 participant