Skip to content

[crater-only] [perf-only] [BROKEN] Always lower to free alias types#157771

Draft
fmease wants to merge 8 commits into
rust-lang:mainfrom
fmease:lta-unck-lazy-default
Draft

[crater-only] [perf-only] [BROKEN] Always lower to free alias types#157771
fmease wants to merge 8 commits into
rust-lang:mainfrom
fmease:lta-unck-lazy-default

Conversation

@fmease

@fmease fmease commented Jun 11, 2026

Copy link
Copy Markdown
Member

Cannot build the sysroot yet because free alias types that aren't meant to be checked still force obligations at some usage sites. Still need to finish my investigations.

@fmease fmease added S-experimental Status: Ongoing experiment that does not require reviewing and won't be merged in its current state. F-lazy_type_alias `#![feature(lazy_type_alias)]` labels Jun 11, 2026
@fmease fmease moved this to In Progress in Lazy Type Aliases (LTA) Jun 11, 2026
@fmease fmease added the rla-silenced Silences rust-log-analyzer postings to the PR it's added on. label Jun 11, 2026
@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 11, 2026
@fmease fmease removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label Jun 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

F-lazy_type_alias `#![feature(lazy_type_alias)]` rla-silenced Silences rust-log-analyzer postings to the PR it's added on. S-experimental Status: Ongoing experiment that does not require reviewing and won't be merged in its current state. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

Status: In Progress

Development

Successfully merging this pull request may close these issues.

2 participants