Search results

Projections fail to unify projections in related obligations

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

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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`.

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.

#108933 In rust-lang/rust;

· AnthonyMikh opened on Mar 9, 2023

Function type with HRTB and associated type argument unifies inconsistently

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-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

A-lifetimesArea: Lifetimes / regionsArea: Lifetimes / regions

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`.

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.

#101794 In rust-lang/rust;

· laurmaedje opened on Sep 14, 2022

Incorrect "expected associated type, found tuple" error in trait implementation

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

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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

Status: Open.

#86883 In rust-lang/rust;

· AzureMarker opened on Jul 5, 2021

lazy_normalization_consts breaks unsize coercion in rare cases

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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

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

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

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.

#78369 In rust-lang/rust;

· lcnr opened on Oct 25, 2020

coercion becomes order dependent for higher-ranked functions

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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

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.

#73154 In rust-lang/rust;

· nikomatsakis opened on Jun 8, 2020

Multiple associated type-parametrized bounds fail to resolve

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

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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

Status: Open.

#70756 In rust-lang/rust;

· syntacticsugarglider opened on Apr 4, 2020

Associated types expansion issue

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

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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`.

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.

#70647 In rust-lang/rust;

· Popog opened on Apr 1, 2020

rustc unable to interact with trait bound required by other required trait

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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.

#63251 In rust-lang/rust;

· vadixidav opened on Aug 4, 2019

Projecting to an associated constant fails but with wrong reason

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

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

A-type-systemArea: Type systemArea: Type system

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

E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.

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.

#61815 In rust-lang/rust;

· Centril opened on Jun 13, 2019

Tracking issue for "Lazy normalization"

A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

A-trait-systemArea: Trait systemArea: Trait system

A-type-systemArea: Type systemArea: Type system

C-tracking-issueCategory: An issue tracking the progress of sth. like the implementation of an RFCCategory: An issue tracking the progress of sth. like the implementation of an RFC

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.

#60471 In rust-lang/rust;

· pnkfelix opened on May 2, 2019

Array lengths don't support generic parameters.

A-arrayArea: `[T; N]`Area: `[T; N]`

A-const-evalArea: Constant evaluation, covers all const contexts (static, const fn, ...)Area: Constant evaluation, covers all const contexts (static, const fn, ...)

A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

glacierICE tracked in rust-lang/glacier.ICE tracked in rust-lang/glacier.

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.

#43408 In rust-lang/rust;

· roblabla opened on Jul 22, 2017

<code>rustc</code> fails to see a bound that is present, but also requires that the bound not be present

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

A-lazy-normalizationArea: Lazy normalization (tracking issue: #60471)Area: Lazy normalization (tracking issue: #60471)

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`.

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.

#41118 In rust-lang/rust;

· Twey opened on Apr 6, 2017