Search results

Hidden type of "discarded" and thus unconstrained RPIT(IT) opaque types gets inferred to be the unit type <code>()</code>

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-inferenceArea: Type inferenceArea: Type inference

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

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.

#134311 In rust-lang/rust;

· fmease opened on Dec 14, 2024

Type inference fails where LUB coercion succeeds

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

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.

#134121 In rust-lang/rust;

· purplesyringa opened on Dec 10, 2024

Const generic is incorrectly inferred

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

A-inferenceArea: Type inferenceArea: Type inference

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.

#133390 In rust-lang/rust;

· Pascal-So opened on Nov 23, 2024

Misleading diagnostic output for typecheck failures that involve type inference

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

A-inferenceArea: Type inferenceArea: Type inference

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.

#132165 In rust-lang/rust;

· Stevie-O opened on Oct 25, 2024

<code>Box&lt;str&gt;</code>. <code>Arc&lt;str&gt;</code> and <code>Rc&lt;str&gt;</code> should implement <code>AsRef&lt;[u8]&gt;</code>, <code>AsRef&lt;Path&gt;</code>, <code>AsRef&lt;OsStr&gt;</code>, and <code>FromStr</code>

A-inferenceArea: Type inferenceArea: Type inference

A-trait-systemArea: Trait systemArea: Trait system

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

T-libs-apiRelevant to the library API team, which will review and decide on the PR/issue.Relevant to the library API team, which will review and decide on the PR/issue.

Status: Open.

#132138 In rust-lang/rust;

· Conaclos opened on Oct 25, 2024

Inference failure triggered by null proc macro application to totally unused and irrelevant struct

A-inferenceArea: Type inferenceArea: Type inference

A-macrosArea: All kinds of macros (custom derive, macro_rules!, proc macros, ..)Area: All kinds of macros (custom derive, macro_rules!, proc macros, ..)

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

E-needs-mcveCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example

Status: Open.

Bug

#130480 In rust-lang/rust;

· ijackson opened on Sep 17, 2024

The inference problem caused by <code>Option::filter</code> on function result

A-inferenceArea: Type inferenceArea: Type inference

A-result-optionArea: Result and Option combinatorsArea: Result and Option combinators

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

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.

#130026 In rust-lang/rust;

· A4-Tacks opened on Sep 6, 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

Integer literal type inference causes weird behavior including strange compiler diagnostic (but the suggestion is working).

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

A-inferenceArea: Type inferenceArea: Type inference

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

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.

#129360 In rust-lang/rust;

· VictorArcium opened on Aug 21, 2024

Compiler can't infer &amp;str type when &amp;String is inserted first in a collection with tuples

A-inferenceArea: Type inferenceArea: Type inference

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.

#129358 In rust-lang/rust;

· zkkv opened on Aug 21, 2024

Degradation from rustc 1.71.0 -&gt; 1.79.0 ("infinite space" compile error not recognized anymore)

A-inferenceArea: Type inferenceArea: Type inference

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

I-crashIssue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.

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.

Status: Open.

#127910 In rust-lang/rust;

· Asqiir opened on Jul 18, 2024

Type inference results in <code>overflow evaluating the requirement</code>

A-inferenceArea: Type inferenceArea: Type inference

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.

#127411 In rust-lang/rust;

· sgdxbc opened on Jul 6, 2024