Skip to content

Issues: rust-lang/rust

Draft release notes for 1.87
#140133 opened Apr 21, 2025 by BoxyUwU
Open 5
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
491 Open 772 Closed
491 Open 772 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Duplicate doubly higher-ranked trait bound fails to compile A-trait-system Area: Trait system C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#140071 opened Apr 20, 2025 by Veykril
1
rustdoc hangs on recursive associated types A-auto-traits Area: auto traits (e.g., `auto trait Send {}`) A-synthetic-impls Area: Synthetic impls, used by rustdoc to document auto traits and traits with blanket impls 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`. I-hang Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
#139964 opened Apr 17, 2025 by theemathas
@fmease
5
resolution ambiguity between inherent and (prelude-provided) trait methods should have more guard rails A-method-lookup Area: method lookup (typeck, post `rustc_resolve`, not to be confused with `A-resolve`) A-trait-system Area: Trait system C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-lang Relevant to the language 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.
#139732 opened Apr 13, 2025 by pnkfelix
Type system limitations with double-diamond trait dependencies with bounded associated types 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.
#139486 opened Apr 7, 2025 by LucaCappelletti94
GAT: Fails to compile with additional bounds A-lifetimes Area: Lifetimes / regions A-trait-system Area: Trait system A-type-system Area: Type system C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#139207 opened Apr 1, 2025 by Ddystopia
9
Compiler hangs during execution A-coherence Area: Coherence 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`. I-hang Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc. P-medium Medium priority regression-from-stable-to-stable Performance or correctness regression from one stable version to another. S-has-bisection Status: a bisection has been found for this issue 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. T-types Relevant to the types team, which will review and decide on the PR/issue.
#139197 opened Apr 1, 2025 by jjl9807
3
Misleading compiler suggestion: Swapp the equality in rustlib due to mismatched types in user code A-diagnostics Area: Messages for errors, warnings, and lints A-trait-system Area: Trait system D-invalid-suggestion Diagnostics: A structured suggestion resulting in incorrect code. E-needs-bisection Call for participation: This issue needs bisection: https://github.com/rust-lang/cargo-bisect-rustc T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#139050 opened Mar 28, 2025 by jjl9807
2
@xizheyin
2
Slow coherence checking and type checking. A-coherence Area: Coherence A-trait-system Area: Trait system C-bug Category: This is a bug. I-compiletime Issue: Problems and improvements with respect to compile times. 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.
#138828 opened Mar 22, 2025 by coolcatcoder
2
Bug when implementing From on an associated type defined in an external crate A-associated-items Area: Associated items (types, constants & functions) A-coherence Area: Coherence A-trait-system Area: Trait system 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.
#138816 opened Mar 22, 2025 by roeeshoshani
2
Compiler error "implementation of Send is not general enough" when using static lifetime reference with async closure A-async-closures `async || {}` A-lifetimes Area: Lifetimes / regions A-trait-system Area: Trait system 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.
#138494 opened Mar 14, 2025 by zhuerzhuer
"the trait bound is not satisfied" when using traits from associated type A-trait-system Area: Trait system 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.
#138119 opened Mar 6, 2025 by eduardosm
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
Unexpected "impl has stricter requirements" with identical bounds 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.
#137639 opened Feb 25, 2025 by afetisov
1
Overflow evaluating the requirement on associated_type_defaults bounded on the field it's being assigned A-trait-system Area: Trait system C-bug Category: This is a bug. F-associated_type_defaults `#![feature(associated_type_defaults)]` requires-nightly This issue requires a nightly compiler in some way. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#137434 opened Feb 22, 2025 by udoprog
Incorrect trait bound handling for IntoIterator<IntoIter = I, Item = T> A-trait-system Area: Trait system C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#137185 opened Feb 17, 2025 by DJDuque
3
Potentially false positive of "lifetime may not live long enough" after introduction of Sized bound on associated type A-lifetimes Area: Lifetimes / regions A-trait-system Area: Trait system C-bug Category: This is a bug. T-lang Relevant to the language team, which will review and decide on the PR/issue.
#137184 opened Feb 17, 2025 by yannham
4
Confusing diagnostic when the error value converted by ? fails to satisfy a 'static bound A-borrow-checker Area: The borrow checker A-diagnostics Area: Messages for errors, warnings, and lints A-trait-system Area: Trait system D-confusing Diagnostics: Confusing error or lint that should be reworked. D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#136902 opened Feb 12, 2025 by Zalathar
@mejrs
2
Overflow evaluating the requirement due to unrelated impl IntoIterator 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.
#136856 opened Feb 11, 2025 by jonhoo
2
Associated Type Bounds on Trait Bounds on GAT produce error A-associated-items Area: Associated items (types, constants & functions) A-trait-system Area: Trait system C-bug Category: This is a bug. F-associated_type_bounds `#![feature(associated_type_bounds)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#136144 opened Jan 27, 2025 by T0mstone
1
Rust can't figure out that two types are the same with supertraits and associated types. A-associated-items Area: Associated items (types, constants & functions) A-trait-system Area: Trait system C-bug Category: This is a bug. F-associated_type_bounds `#![feature(associated_type_bounds)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#135979 opened Jan 24, 2025 by theemathas
1
Trait implementation causes Object File Too Large error and compilation crash A-trait-system Area: Trait system C-bug Category: This is a bug. I-compilemem Issue: Problems and improvements with respect to memory usage during compilation. I-compiletime Issue: Problems and improvements with respect to compile times. I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
#135849 opened Jan 21, 2025 by benwis
5
Change in leaf function causes unrelated compilation error in root function A-lifetimes Area: Lifetimes / regions A-trait-system Area: Trait system needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135652 opened Jan 17, 2025 by 0xdeafbeef
2
Generic trait bound hides concrete type associated type A-trait-system Area: Trait system C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135254 opened Jan 8, 2025 by LHolten
3
Precise captures in ITIAT are not refining A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-lifetimes Area: Lifetimes / regions A-trait-system Area: Trait system C-bug Category: This is a bug. F-impl_trait_in_assoc_type `#![feature(impl_trait_in_assoc_type)]` 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-types Relevant to the types team, which will review and decide on the PR/issue.
#135144 opened Jan 6, 2025 by QuineDot
2
Typesystem soundness hole involving cyclically-defined ATIT, and normalization in trait bounds A-associated-items Area: Associated items (types, constants & functions) A-trait-system Area: Trait system A-type-system Area: Type system C-bug Category: This is a bug. I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority T-types Relevant to the types team, which will review and decide on the PR/issue.
#135011 opened Jan 2, 2025 by steffahn
21
ProTip! Find all open issues with in progress development work with linked:pr.