Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Perform OpaqueCast field projection on HIR, too.
This is necessary for closure captures in 2021 edition, as they capture individual fields, not the full mentioned variables. So it may try to capture a field of an opaque (because the hidden type is known to be something with a field).
- Loading branch information