Skip to content

we should check item bounds for Projection where-clause well-formedness #149283

Open
Open
we should check item bounds for Projection where-clause well-formedness#149283
Assignees
adwinwhite
Labels
C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCE-hardCall for participation: Hard difficulty. Experience needed to fix: A lot.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.T-typesRelevant to the types team, which will review and decide on the PR/issue.

Description

@lcnr
lcnr
opened on Nov 24, 2025

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:

Activity

  1. rustbot
    added
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Nov 24, 2025
  2. lcnr
    added
    E-hardCall for participation: Hard difficulty. Experience needed to fix: A lot.
    E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.
    T-typesRelevant to the types team, which will review and decide on the PR/issue.
    on Nov 24, 2025

  3. lcnr commented on Nov 24, 2025

    @lcnr
    lcnr
    on Nov 24, 2025
    ContributorAuthor

    cc @rust-lang/types

  4. Mattias-Petersson commented on Nov 26, 2025

    @Mattias-Petersson
    Mattias-Petersson
    on Nov 26, 2025 · Hidden as outdated
  5. rustbot
    assigned
    Mattias-Petersson
    on Nov 26, 2025

  6. Mattias-Petersson commented on Nov 26, 2025

    @Mattias-Petersson
    Mattias-Petersson
    on Nov 26, 2025 · Hidden as outdated
  7. rustbot
    unassigned
    Mattias-Petersson
    on Nov 26, 2025
  8. jieyouxu
    added
    C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFC
    and removed
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Nov 27, 2025
  9. matthiaskrgr
    added a commit that references this issue on Dec 3, 2025

    Rollup merge of rust-lang#149501 - lcnr:no-hard-error-on-norm-failure…

    c3eb9dc
  10. Zalathar
    added a commit that references this issue on Dec 4, 2025

    Rollup merge of rust-lang#149501 - lcnr:no-hard-error-on-norm-failure…

    ecaaf69
  11. matthiaskrgr
    added 2 commits that reference this issue on Dec 4, 2025

    Rollup merge of rust-lang#149501 - lcnr:no-hard-error-on-norm-failure…

    e47d06d

    Rollup merge of rust-lang#149501 - lcnr:no-hard-error-on-norm-failure…

    40c97a9
  12. rust-timer
    added a commit that references this issue on Dec 4, 2025

    Unrolled build for #149501

    d464bf7
  13. github-actions
    added a commit that references this issue on Dec 15, 2025

    Rollup merge of #149501 - lcnr:no-hard-error-on-norm-failure, r=lqd,o…

    54d2dd3

  14. adwinwhite commented on Dec 17, 2025

    @adwinwhite
    adwinwhite
    on Dec 17, 2025
    Contributor

    Although there're still several tests broken, I've got it roughly working.

    @rustbot claim

  15. rustbot
    assigned
    adwinwhite
    on Dec 17, 2025
  16. ghaaj
    added a commit that references this issue on Aug 7, 2026

    Rollup merge of #149501 - lcnr:no-hard-error-on-norm-failure, r=lqd,o…

    f7d7532
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCE-hardCall for participation: Hard difficulty. Experience needed to fix: A lot.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.T-typesRelevant to the types team, which will review and decide on the PR/issue.

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions