Skip to content

Imply outlives-bounds on lazy type aliases #118479

New issue
New issue
Closed
#119350
Closed
Imply outlives-bounds on lazy type aliases#118479
#119350
Assignees
fmease
Labels
A-implied-boundsArea: Implied bounds / inferred outlives-boundsC-enhancementCategory: An issue proposing an enhancement or a PR with one.F-checked_type_aliases`#![feature(checked_type_aliases)]` (formerly: `lazy_type_alias`)T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Description

@fmease
fmease
opened on Nov 30, 2023

In the most recent design meeting (2023-11-09), T-lang has decided to move forward with “treating lazy type aliases like structs” with respect to where-clauses. Concretely, this means that we want to check lazy type aliases for well-formedness without implying any bounds other than outlives-bounds. The former has already been implemented, the latter not yet as we don't imply any outlives-bounds at all at the moment.

Opening this issue to properly keep track of this implementation step and to clarify who is the person responsible for the implementation (me as it stands).

Activity

  1. rustbot
    added
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Nov 30, 2023
  2. fmease
    added
    C-enhancementCategory: An issue proposing an enhancement or a PR with one.
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    F-checked_type_aliases`#![feature(checked_type_aliases)]` (formerly: `lazy_type_alias`)
    and removed
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Nov 30, 2023
  3. fmease
    self-assigned this
    on Nov 30, 2023
  4. fmease
    added
    A-implied-boundsArea: Implied bounds / inferred outlives-bounds
    on Nov 30, 2023
  5. matthiaskrgr
    added 5 commits that reference this issue on Jan 5, 2024

    Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…

    2cf6067

    Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…

    b87e4e9

    Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…

    3a58b83

    Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…

    7e58b2f

    Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…

    fc591db
  6. bors
    closed this as completedin fc591dbon Jan 5, 2024
  7. rust-timer
    added a commit that references this issue on Jan 5, 2024

    Unrolled build for rust-lang#119350

    14e4649
  8. fmease
    added this to Checked Type Aliases (CTA)on Jan 12, 2025
  9. fmease
    moved this to Done in Checked Type Aliases (CTA)on Jan 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

A-implied-boundsArea: Implied bounds / inferred outlives-boundsC-enhancementCategory: An issue proposing an enhancement or a PR with one.F-checked_type_aliases`#![feature(checked_type_aliases)]` (formerly: `lazy_type_alias`)T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions