Search results

Generic causes other trait implementations of concrete type to be ignored.

A-traitsArea: Trait systemArea: Trait system

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

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.

WG-trait-system-refactorThe Rustc Trait System Refactor Initiative (-Znext-solver)The Rustc Trait System Refactor Initiative (-Znext-solver)

needs-triageThis issue may need triage. Remove it if it has been sufficiently triaged.This issue may need triage. Remove it if it has been sufficiently triaged.

Status: Open.

#132406 In rust-lang/rust;

· daniel-wong-dfinity-org opened on Oct 31, 2024

Mixing 'static and 'this with iterators or vectors doesn't correctly shorten lifetime to the workable shorter version.

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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

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.

#132291 In rust-lang/rust;

· VorpalBlade opened on Oct 28, 2024

Tracking issue for TypingMode transition

A-typesystemArea: The type systemArea: The type system

C-tracking-issueCategory: A tracking issue for an RFC or an unstable feature.Category: A tracking issue for an RFC or an unstable feature.

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.

#132279 In rust-lang/rust;

· lcnr opened on Oct 28, 2024

Syntactically rejecting impl-Trait inside non-final path segments & inside fn ptr types is futile

A-impl-traitArea: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.

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

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.

#132212 In rust-lang/rust;

· fmease opened on Oct 27, 2024

Lifetime variance not computed for concrete GAT references in struct fields

A-GATsArea: Generic associated types (GATs)Area: Generic associated types (GATs)

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

C-discussionCategory: Discussion or questions that doesn't represent real issues.Category: Discussion or questions that doesn't represent real issues.

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.

#132198 In rust-lang/rust;

· branchseer opened on Oct 26, 2024

&'s T → &'static T in safe code (UAF)

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

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

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.

#132186 In rust-lang/rust;

· rucsesec opened on Oct 26, 2024

Higher-ranked trait bounds in function signature incorrectly require bounds on the impl

A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)

A-higher-rankedArea: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs)Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs)

A-traitsArea: Trait systemArea: Trait system

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

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.

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

Status: Open.

#132089 In rust-lang/rust;

· 8000thCube opened on Oct 24, 2024

Regression: geoarrow crate does not compile in release mode on 1.82

A-mir-opt-inliningArea: MIR inliningArea: MIR inlining

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

P-highHigh priorityHigh priority

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.

regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

Status: Open.

#131960 In rust-lang/rust;

· theemathas opened on Oct 20, 2024

projecting to assoc type of supertrait that is implemented differently for trait object goes wrong

A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)

A-trait-objectsArea: trait objects, vtable layoutArea: trait objects, vtable layout

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

I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

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.

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

Status: Open.

#131891 In rust-lang/rust;

· lukas-code opened on Oct 18, 2024

LUB coercions can't combine unsafe fn item with safe fn item or pointer

A-coercionsArea: implicit and explicit `expr as Type` coercionsArea: implicit and explicit `expr as Type` coercions

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

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.

#131854 In rust-lang/rust;

· lukas-code opened on Oct 17, 2024

Closure breaks function with higher-ranked trait bound

A-closuresArea: Closures (`|…| { … }`)Area: Closures (`|…| { … }`)

A-higher-rankedArea: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs)Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs)

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

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.

#131677 In rust-lang/rust;

· drewtato opened on Oct 14, 2024

failed to evaluate generic const expr after adding more fields to struct

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

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

S-needs-reproStatus: This issue has no reproduction and needs a reproduction to make progress.Status: This issue has no reproduction and needs a reproduction to make progress.

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.

#131568 In rust-lang/rust;

· JulianKnodt opened on Oct 11, 2024