Search results

Type System Documentation

C-tracking-issue

T-types

Status: Open.

#405 In rust-lang/rust-project-goals;

· nikomatsakis opened on Sep 16, 2025

· 

2025h2

Evolving trait hierarchies

C-tracking-issue

T-compiler

T-lang

T-libs-api

T-types

Status: Open.

#393 In rust-lang/rust-project-goals;

· nikomatsakis opened on Sep 16, 2025

· 

2025h2

Develop the capabilities to keep the FLS up to date

C-tracking-issue

T-bootstrap

T-lang

T-opsem

T-spec

T-types

Status: Open.

#391 In rust-lang/rust-project-goals;

· nikomatsakis opened on Sep 16, 2025

· 

2025h2

SVE and SME on AArch64

C-tracking-issue

T-compiler

T-lang

T-types

Status: Open.

#270 In rust-lang/rust-project-goals;

· nikomatsakis opened on Feb 18, 2025

· 

2025h2

Borrow checking in a-mir-formality

C-tracking-issue

T-types

Status: Open.

#122 In rust-lang/rust-project-goals;

· nikomatsakis opened on Jul 22, 2024

· 

2025h2

Stabilizable Polonius support on nightly

C-tracking-issue

T-types

Status: Open.

#118 In rust-lang/rust-project-goals;

· nikomatsakis opened on Jul 22, 2024

· 

2025h2

Next-generation trait solver

C-tracking-issue

T-rust-analyzer

T-types

Status: Open.

#113 In rust-lang/rust-project-goals;

· nikomatsakis opened on Jul 22, 2024

· 

2025h2

Const Generics

C-tracking-issue

T-lang

T-types

Status: Open.

#100 In rust-lang/rust-project-goals;

· nikomatsakis opened on Jul 22, 2024

· 

2025h2