Search results

Incoherent (?) Lifetime HRTB on associated type results in unsoundness in stable, safe code

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

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

A-type-systemArea: Type systemArea: Type system

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

P-highHigh priorityHigh priority

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

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.

#141713 In rust-lang/rust;

· maxdexh opened on May 29, 2025

<code>unused_assignment</code> triggered by closure even though value is used

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

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

D-imprecise-spansDiagnostics: spans don't point to exactly the erroneous codeDiagnostics: spans don't point to exactly the erroneous code

L-unused_assignmentsLint: unused_assignmentsLint: unused_assignments

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.

#141615 In rust-lang/rust;

· y86-dev opened on May 26, 2025

Type annotations needed for closure with associated type

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

A-inferenceArea: Type inferenceArea: Type inference

C-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.

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.

#140603 In rust-lang/rust;

· camsteffen opened on May 3, 2025

Closure captures are inconsistent between <code>x</code> and <code>x @ _</code> irrefutable patterns

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

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-langRelevant to the language teamRelevant to the language team

Status: Open.

#137553 In rust-lang/rust;

· meithecatte opened on Feb 24, 2025

false-negative <code>unused_parens</code> in closures consisting of just one expression

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

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.Area: Lints (warnings about flaws in source code) such as unused_mut.

L-false-negativeLint: False negative (should have fired but didn't).Lint: False negative (should have fired but didn't).

L-unused_parensLint: unused_parensLint: unused_parens

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.

#136741 In rust-lang/rust;

· ada4a opened on Feb 8, 2025

LUB coercions works for a function but fails for a closure

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

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

A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

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

D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.

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.

#132643 In rust-lang/rust;

· pazmank opened on Nov 5, 2024

ICE: <code>encountered type variable</code>

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

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

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

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

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.

#131758 In rust-lang/rust;

· matthiaskrgr opened on Oct 15, 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

Closure Fn* trait coercion removes other implementable Fn* traits

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

A-inferenceArea: Type inferenceArea: Type inference

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.

#129381 In rust-lang/rust;

· konnorandrews opened on Aug 21, 2024

Mismatched types for a conditional containing closures inside method call

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

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.

#127525 In rust-lang/rust;

· marmac02 opened on Jul 9, 2024

ICE: <code>error performing ParamEnvAnd { ... }</code> possibly related to (lack of) HRTBs in closures

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)

A-trait-systemArea: Trait systemArea: Trait system

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

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

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

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.

#124440 In rust-lang/rust;

· Carnagion opened on Apr 27, 2024

<code>obligations_for_self_ty</code> leaks placeholders

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

A-inferenceArea: Type inferenceArea: Type inference

P-lowLow priorityLow priority

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.

#124385 In rust-lang/rust;

· lcnr opened on Apr 25, 2024