Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Imply outlives-bounds on lazy type aliases #118479

Closed
fmease opened this issue Nov 30, 2023 · 0 comments · Fixed by #119350
Closed

Imply outlives-bounds on lazy type aliases #118479

fmease opened this issue Nov 30, 2023 · 0 comments · Fixed by #119350
Assignees
@fmease
Labels
A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-enhancement Category: An issue proposing an enhancement or a PR with one. F-lazy_type_alias `#![feature(lazy_type_alias)]` T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Comments

@fmease
Copy link
Member

fmease commented Nov 30, 2023 •
edited
Loading

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).
@rustbot rustbot added the needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. label Nov 30, 2023
@fmease fmease added C-enhancement Category: An issue proposing an enhancement or a PR with one. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. F-lazy_type_alias `#![feature(lazy_type_alias)]` and removed needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. labels Nov 30, 2023
@fmease fmease self-assigned this Nov 30, 2023
@fmease fmease added the A-implied-bounds Area: Implied bounds / inferred outlives-bounds label Nov 30, 2023
This was referenced Dec 27, 2023
Merged
Open
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Jan 5, 2024
@matthiaskrgr
Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…
2cf6067 
…nds, r=compiler-errors

Imply outlives-bounds on lazy type aliases

Fixes rust-lang#118479.

r? types
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Jan 5, 2024
@matthiaskrgr
Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…
b87e4e9 
…nds, r=compiler-errors

Imply outlives-bounds on lazy type aliases

Fixes rust-lang#118479.

r? types
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Jan 5, 2024
@matthiaskrgr
Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…
3a58b83 
…nds, r=compiler-errors

Imply outlives-bounds on lazy type aliases

Fixes rust-lang#118479.

r? types
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Jan 5, 2024
@matthiaskrgr
Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bou…
7e58b2f 
…nds, r=compiler-errors

Imply outlives-bounds on lazy type aliases

Fixes rust-lang#118479.

r? types
@bors bors closed this as completed in fc591db Jan 5, 2024
rust-timer added a commit to rust-lang-ci/rust that referenced this issue Jan 5, 2024
@rust-timer
Unrolled build for rust-lang#119350
14e4649 
Rollup merge of rust-lang#119350 - fmease:lazy-ty-aliases-implied-bounds, r=compiler-errors

Imply outlives-bounds on lazy type aliases

Fixes rust-lang#118479.

r? types
@fmease fmease mentioned this issue Mar 11, 2024
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fmease fmease

Labels
A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-enhancement Category: An issue proposing an enhancement or a PR with one. F-lazy_type_alias `#![feature(lazy_type_alias)]` T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Imply outlives-bounds on lazy type aliases fmease/rust
2 participants
@fmease @rustbot