Skip to content

Issues: rust-lang/rust

Draft release notes for 1.88.0
#141598 opened May 26, 2025 by Mark-Simulacrum
Open 9
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
229 Open 191 Closed
229 Open 191 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

type inference failure confusing diagnostic let Some(x) = None for [u8] A-diagnostics Area: Messages for errors, warnings, and lints A-inference Area: Type inference D-confusing Diagnostics: Confusing error or lint that should be reworked. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#141336 opened May 21, 2025 by midnightveil
8
Unexpected type inference failure when comparing Vec::<T>::new() to an empty array [] A-inference Area: Type inference C-discussion Category: Discussion or questions that doesn't represent real issues. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#141329 opened May 21, 2025 by 623637646
1
Making trait method async causes inference failure (E0790) A-async-await Area: Async & Await A-inference Area: Type inference C-bug Category: This is a bug. needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#140987 opened May 14, 2025 by benschulz
Bug: chained where T: trait multiple applicable items A-inference Area: Type inference A-method-lookup Area: method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`) C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#140892 opened May 10, 2025 by RoDmitry
Type annotations needed for closure with associated type A-closures Area: Closures (`|…| { … }`) A-inference Area: Type inference C-enhancement Category: An issue proposing an enhancement or a PR with one. T-types Relevant to the types team, which will review and decide on the PR/issue.
#140603 opened May 3, 2025 by camsteffen
1
Unexpected "cannot infer type" A-diagnostics Area: Messages for errors, warnings, and lints A-inference Area: Type inference C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#140262 opened Apr 24, 2025 by Spxg
@xizheyin
3
Strange inference failure with Arc::new_cyclic A-inference Area: Type inference C-discussion Category: Discussion or questions that doesn't represent real issues. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#139736 opened Apr 13, 2025 by Sky9x
3
Type inference regression in 1.86 stable, due to unstable ByteStr A-inference Area: Type inference C-bug Category: This is a bug. regression-untriaged Untriaged performance or correctness regression. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.
#139542 opened Apr 8, 2025 by beanow-at-crabnebula
10
ICE: stack overflow with -Ztyping-mode-borrowck in inference A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-inference Area: Type inference C-bug Category: This is a bug. I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics. requires-nightly This issue requires a nightly compiler in some way. S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#139446 opened Apr 6, 2025 by matthiaskrgr
1
failed type inference when indexing vec-of-vec in closure A-diagnostics Area: Messages for errors, warnings, and lints A-inference Area: Type inference T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#139334 opened Apr 3, 2025 by lolbinarycat
3
error[E0282]: type annotations needed but should be inferred automatically A-inference Area: Type inference C-bug Category: This is a bug. needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#139168 opened Mar 31, 2025 by Zercerium
1
Can't infer both sides of a Result when using ? A-inference Area: Type inference C-discussion Category: Discussion or questions that doesn't represent real issues.
#138579 opened Mar 16, 2025 by richo
5
impl Fn(T) argument type is not infered from return type A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-inference Area: Type inference C-discussion Category: Discussion or questions that doesn't represent real issues. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#138530 opened Mar 15, 2025 by LHolten
2
Type inference fails when using associated type in traits A-inference Area: Type inference C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#138057 opened Mar 5, 2025 by StealthyKamereon
1
Incomplete inference guidance due to Sized param-env clause causes method selection failure A-inference Area: Type inference A-trait-system Area: Trait system C-bug Category: This is a bug. fixed-by-next-solver Fixed by the next-generation trait solver, `-Znext-solver`. T-types Relevant to the types team, which will review and decide on the PR/issue.
#137812 opened Feb 28, 2025 by compiler-errors
1
pow inference is not great A-inference Area: Type inference C-discussion Category: Discussion or questions that doesn't represent real issues. T-types Relevant to the types team, which will review and decide on the PR/issue.
#137644 opened Feb 25, 2025 by oriongonza
3
Rust fails to coerce to a fn pointer when passing an array as an argument to a generic function. A-coercions Area: implicit and explicit `expr as Type` coercions A-inference Area: Type inference C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-types Relevant to the types team, which will review and decide on the PR/issue.
#136420 opened Feb 2, 2025 by theemathas
1
@adwinwhite
2
Result type inference breaks in 2024 edition, while working correctly in 2021 edition A-coercions Area: implicit and explicit `expr as Type` coercions A-inference Area: Type inference C-bug Category: This is a bug. F-never_type `#![feature(never_type)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#135864 opened Jan 22, 2025 by nazar-pc
9
Type inference issues with well specified trait function call A-diagnostics Area: Messages for errors, warnings, and lints A-inference Area: Type inference A-suggestion-diagnostics Area: Suggestions generated by the compiler applied by `cargo fix` T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#135698 opened Jan 18, 2025 by weiznich
2
Please lint on a.eq(b.into()) if a.eq(b) would work A-inference Area: Type inference A-lints Area: Lints (warnings about flaws in source code) such as unused_mut. C-feature-request Category: A feature request, i.e: not implemented / a PR. T-lang Relevant to the language team, which will review and decide on the PR/issue.
#135201 opened Jan 7, 2025 by joshtriplett
3
Unexpected behavior with type inference A-inference Area: Type inference C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#134854 opened Dec 28, 2024 by zadlg
Hidden type of "discarded" and thus unconstrained RPIT(IT) opaque types gets inferred to be the unit type () A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-inference Area: Type inference C-bug Category: This is a bug. fixed-by-next-solver Fixed by the next-generation trait solver, `-Znext-solver`. P-low Low priority T-types Relevant to the types team, which will review and decide on the PR/issue.
#134311 opened Dec 14, 2024 by fmease
1
Type inference fails where LUB coercion succeeds A-coercions Area: implicit and explicit `expr as Type` coercions A-inference Area: Type inference C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134121 opened Dec 10, 2024 by purplesyringa
2
Const generic is incorrectly inferred A-const-generics Area: const generics (parameters and arguments) A-inference Area: Type inference C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-types Relevant to the types team, which will review and decide on the PR/issue.
#133390 opened Nov 23, 2024 by Pascal-So
1
Misleading diagnostic output for typecheck failures that involve type inference A-diagnostics Area: Messages for errors, warnings, and lints A-inference Area: Type inference D-confusing Diagnostics: Confusing error or lint that should be reworked. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#132165 opened Oct 25, 2024 by Stevie-O
1
ProTip! Updated in the last three days: updated:>2025-05-27.