Search results

[WIP] Expand free alias types during variance computation

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

rla-silencedSilences rust-log-analyzer postings to the PR it's added on.Silences rust-log-analyzer postings to the PR it's added on.

S-waiting-on-authorStatus: This is awaiting some action (such as code changes or more information) from the author.Status: This is awaiting some action (such as code changes or more information) from the author.

T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

Status: Draft (not ready).

rust-lang/rustnumber 141030

#141030 In rust-lang/rust;

· fmease opened on May 15, 2025

Expand free alias types when computing implied outlives-bounds

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

S-waiting-on-authorStatus: This is awaiting some action (such as code changes or more information) from the author.Status: This is awaiting some action (such as code changes or more information) from the author.

T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

Status: Draft (not ready).

rust-lang/rustnumber 141007

#141007 In rust-lang/rust;

· fmease opened on May 14, 2025

Free type aliases should not require all generic parameters to be used

A-varianceArea: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)

C-bugCategory: This is a bug.Category: This is a bug.

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

Status: Open.

#140230 In rust-lang/rust;

· BoxyUwU opened on Apr 24, 2025

lazy_type_alias: trait bound no longer satisified

C-bugCategory: This is a bug.Category: This is a bug.

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#114218 In rust-lang/rust;

· matthiaskrgr opened on Jul 29, 2023

lazy_type_alias: type <code>is forbidden as the type of a const generic parameter</code>

C-bugCategory: This is a bug.Category: This is a bug.

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#114217 In rust-lang/rust;

· matthiaskrgr opened on Jul 29, 2023

ICE: <code>InstanceDef::Virtual (Virtual(DefId(..))) is for direct calls only</code> under <code>lazy_type_alias</code> with <code>-Clink-dead-code</code>

-Clink-dead-codeLinkage option: -Clink-dead-codeLinkage option: -Clink-dead-code

C-bugCategory: This is a bug.Category: This is a bug.

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

I-ICEIssue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️

requires-nightlyThis issue requires a nightly compiler in some way.This issue requires a nightly compiler in some way.

S-bug-has-testStatus: This bug is tracked inside the repo by a `known-bug` test.Status: This bug is tracked inside the repo by a `known-bug` test.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

Status: Open.

#114198 In rust-lang/rust;

· matthiaskrgr opened on Jul 29, 2023

Tracking issue for lazy type aliases

A-maybe-future-editionSomething we may consider for a future edition.Something we may consider for a future edition.

B-unstableBlocker: Implemented in the nightly compiler and unstable.Blocker: Implemented in the nightly compiler and unstable.

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

F-lazy_type_alias`#![feature(lazy_type_alias)]``#![feature(lazy_type_alias)]`

S-tracking-impl-incompleteStatus: The implementation is incomplete.Status: The implementation is incomplete.

S-tracking-needs-migration-lintStatus: This item needs a migration lint.Status: This item needs a migration lint.

T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

Status: Open.

#112792 In rust-lang/rust;

· GuillaumeGomez opened on Jun 19, 2023