Search results

member constraints are order-dependent

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

A-member-constraints`#[feature(member_constraints)]``#[feature(member_constraints)]`

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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.

#140569 In rust-lang/rust;

· lcnr opened on May 2, 2025

A out-of-air lifetime that that may not live long vs. the implementation is not general enough

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

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-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.

NLL-diagnosticsWorking towards the "diagnostic parity" goalWorking towards the "diagnostic parity" goal

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.

#131821 In rust-lang/rust;

· xmh0511 opened on Oct 17, 2024

closure rvalue not checked for WF allowing it to assume more implied bounds

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

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

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

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.

#123312 In rust-lang/rust;

· aliemjay opened on Apr 1, 2024

ignored lifetime constraints in type annotations

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

P-mediumMedium priorityMedium 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-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.

#115175 In rust-lang/rust;

· aliemjay opened on Aug 24, 2023

Mysterious "higher-ranked lifetime error" with async fn in trait and return-type notation

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-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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.

F-async_fn_in_traitStatic async fn in traitsStatic async fn in traits

F-return_type_notation`#[feature(return_type_notation)]``#[feature(return_type_notation)]`

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

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.

#110963 In rust-lang/rust;

· compiler-errors opened on Apr 28, 2023

"left.extend_from_slice(right.strip_prefix(&mut left[n..]).unwrap())" doesn't compile

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-poloniusIssues related for using Polonius in the borrow checkerIssues related for using Polonius in the borrow checker

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.

#110362 In rust-lang/rust;

· safinaskar opened on Apr 15, 2023

"&mut v[v[0]..]" doesn't compile

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-poloniusIssues related for using Polonius in the borrow checkerIssues related for using Polonius in the borrow checker

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.

#110351 In rust-lang/rust;

· safinaskar opened on Apr 15, 2023

lifetime diagnostic reports lifetimes backwards with invariance or contravariance

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

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

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

D-incorrectDiagnostics: A diagnostic that is giving misleading or incorrect information.Diagnostics: A diagnostic that is giving misleading or incorrect information.

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.

#108636 In rust-lang/rust;

· QuineDot opened on Mar 2, 2023

closures accept ill-formed inputs

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

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.

#104478 In rust-lang/rust;

· aliemjay opened on Nov 16, 2022

overly restrictive closure borrow-checking

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

NLL-completeWorking towards the "valid code works" goalWorking towards the "valid code works" goal

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.

#104477 In rust-lang/rust;

· aliemjay opened on Nov 16, 2022

Can't return reference to passed-in referent that is assigned in a loop

A-borrow-checkerArea: The borrow checkerArea: The borrow checker

A-control-flowArea: Control flowArea: Control flow

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

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

fixed-by-poloniusCompiling with `-Zpolonius` fixes this issue.Compiling with `-Zpolonius` fixes this issue.

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.

#97901 In rust-lang/rust;

· jonhoo opened on Jun 8, 2022

[NLL] No "expected ..., found ..." in diagnostics

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

A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

NLL-diagnosticsWorking towards the "diagnostic parity" goalWorking towards the "diagnostic parity" goal

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.

#97267 In rust-lang/rust;

· jackh726 opened on May 22, 2022