Search results

Confusing lifetime error when using HRTB and closure

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-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

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

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.

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.

#143588 In rust-lang/rust;

· silver-ymz opened on Jul 7, 2025

rustdoc-json: Show implied outlives-bounds

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-rustdoc-jsonArea: Rustdoc JSON backendArea: Rustdoc JSON backend

C-feature-requestCategory: A feature request, i.e: not implemented / a PR.Category: A feature request, i.e: not implemented / a PR.

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

Status: Open.

#142226 In rust-lang/rust;

· obi1kenobi opened on Jun 9, 2025

We don't imply outlives-bounds from the own explicit bounds of a GAT projection

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

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

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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

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.

#141692 In rust-lang/rust;

· fmease opened on May 28, 2025

Type equality bounds disable implied projection outlives bounds

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

A-trait-systemArea: 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.

Status: Open.

#141054 In rust-lang/rust;

· QuineDot opened on May 15, 2025

Impl has "stricter" requirement that is implied by existing requirement

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-trait-systemArea: Trait systemArea: Trait system

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

S-has-mcveStatus: A Minimal Complete and Verifiable Example has been found for this issueStatus: A Minimal Complete and Verifiable Example has been found for this 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.

#134890 In rust-lang/rust;

· LHolten opened on Dec 29, 2024

<code>compare_method_predicate_entailment</code> is missing implied bounds from higher-ranked GAT

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

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-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-trait-systemArea: 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.

Status: Open.

#133805 In rust-lang/rust;

· compiler-errors opened on Dec 3, 2024

Outlives requirements are not implied in the return type of <code>async fn</code>, and generally for RPIT

A-async-awaitArea: Async & AwaitArea: Async & Await

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-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

AsyncAwait-TriagedAsync-await issues that have been triaged during a working group meeting.Async-await issues that have been triaged during a working group meeting.

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.

#130935 In rust-lang/rust;

· jackh726 opened on Sep 27, 2024

false positive when <code>associated_type_bounds</code> used with <code>for&lt;&gt;</code> on super traits

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-trait-systemArea: Trait systemArea: Trait system

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

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

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

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.

#121929 In rust-lang/rust;

· fee1-dead opened on Mar 3, 2024

Inconsistent borrow-checking errors based on function return type

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

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

Status: Open.

#113771 In rust-lang/rust;

· yakubin opened on Jul 16, 2023

<code>where</code> vs <code>:</code> in trait bounds

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

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-trait-systemArea: Trait systemArea: Trait system

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

T-langRelevant to the language teamRelevant to the language team

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.

#113195 In rust-lang/rust;

· redshiftss opened on Jun 30, 2023

Trait fails to imply trait bounds for super trait associated types

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

A-trait-systemArea: Trait systemArea: Trait system

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

Status: Open.

#111926 In rust-lang/rust;

· Dante-Broggi opened on May 24, 2023

Trait implementation implies trait bounds for associated types but not for GAT associated types

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

A-implied-boundsArea: Implied bounds / inferred outlives-boundsArea: Implied bounds / inferred outlives-bounds

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.

#111158 In rust-lang/rust;

· inanna-malick opened on May 3, 2023