we should check item bounds for Projection where-clause well-formedness
Open
@adwinwhite is already working on this.
Since Dec 17, 2025.
C-tracking-issue
E-hard
E-mentor
T-types
- Dominant language
- Rust
- Stars
- 119k
- Forks
- 16.1k
- PR merge metrics
- PR metrics pending
Description
see the related zulip thread for more info https://rust-lang.zulipchat.com/#narrow/channel/144729-t-types/topic/want.20help.3A.20check.20item.20bounds.20for.20Projection.20where-clause.20WF/with/554688567
fixes the following issues:
- https://github.com/rust-lang/rust/issues/78893
- https://github.com/rust-lang/rust/issues/103899 (fixed via a workaround in https://github.com/rust-lang/rust/pull/136539)
- https://github.com/rust-lang/rust/issues/135039 (fixed via a workaround in https://github.com/rust-lang/rust/pull/136539)
- #149081
- #149120
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.