Skip to content

Issues: rust-lang/rust

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
620 Open 451 Closed
620 Open 451 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

Lifetime generics on Generic Const Items should not affect if const is checked for evaluatability C-bug Category: This is a bug. F-generic_const_items `#![feature(generic_const_items)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#136204 opened Jan 28, 2025 by compiler-errors
@fmease
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
"expected opaque type, found ..." when trait impl with type_alias_impl_trait C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#136142 opened Jan 27, 2025 by MabaKalox
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
Arbitrary self types v2: stabilize disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. I-lang-nominated Nominated for discussion during a lang team meeting. proposed-final-comment-period Proposed to merge/close by relevant subteam, see T-<team> label. Will enter FCP once signed off. S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. 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.
#135881 opened Jan 22, 2025 by adetaylor Loading…
@wesleywiser
35
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
Reject ?Trait bounds in various places where we unconditionally warned since 1.0 disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135841 opened Jan 21, 2025 by oli-obk Loading…
2
@compiler-errors
15
regression: cannot borrow ... as immutable because it is also borrowed as mutable P-critical Critical priority regression-from-stable-to-beta Performance or correctness regression from stable to beta. 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.
#135671 opened Jan 18, 2025 by BoxyUwU
2
@lqd
9
ICE: polonius: None in region infer with unconditional panic A-diagnostics Area: Messages for errors, warnings, and lints C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ NLL-polonius Issues related for using Polonius in the borrow checker T-types Relevant to the types team, which will review and decide on the PR/issue.
#135646 opened Jan 17, 2025 by matthiaskrgr
@lqd
3
Don't require method impls for methods with Self:Sized bounds for impls for unsized types disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. final-comment-period In the final comment period and will be merged soon unless new substantive objections are raised. I-lang-easy-decision Issue: The decision needed by the team is conjectured to be easy; this does not imply nomination S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135480 opened Jan 14, 2025 by oli-obk Loading…
@compiler-errors
28
ICE: demand: index out of bounds C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ 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.
#135474 opened Jan 14, 2025 by matthiaskrgr
2
Trait aliases make it possible to sidestep various syntactic trait bound checks C-bug Category: This is a bug. F-trait_alias `#![feature(trait_alias)]` 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. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135342 opened Jan 10, 2025 by fmease
5
Generic trait bound hides concrete type 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-types Relevant to the types team, which will review and decide on the PR/issue.
#135254 opened Jan 8, 2025 by LHolten
3
Item-bounds can be used to non-productively prove themselves A-associated-items Area: Associated items (types, constants & functions) I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority S-blocked Status: Blocked on something else such as an RFC or other implementation work. T-types Relevant to the types team, which will review and decide on the PR/issue.
#135246 opened Jan 8, 2025 by lcnr
1
CoercePointee leaks unstable unsizing impls A-coercions Area: implicit and explicit `expr as Type` coercions F-derive_coerce_pointee Feature: RFC 3621's oft-renamed implementation 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.
#135217 opened Jan 7, 2025 by BoxyUwU
@compiler-errors
1
Make sure to use Receiver trait when extracting object method candidate S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. 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.
#135179 opened Jan 7, 2025 by compiler-errors Loading…
1
@BoxyUwU
7
"This generic parameter must be used with a generic lifetime parameter" on RPIT with precise capturing A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. C-bug Category: This is a bug. 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.
#135152 opened Jan 6, 2025 by ada4a
2
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
ICE: rustc_hir_typeck: index out of bounds C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. 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.
#135124 opened Jan 5, 2025 by matthiaskrgr
@compiler-errors
4
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
RPIT associated type lifetime bound is ignored A-associated-items Area: Associated items (types, constants & functions) A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-lifetimes Area: Lifetimes / regions C-bug Category: This is a bug. 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.
#135006 opened Jan 1, 2025 by LHolten
1
@compiler-errors
2
ICE: EvalCtxt is tainted -- nested goals may have been dropped in a previous call to try_evaluate_added_goals` A-specialization Area: Trait impl specialization C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. S-has-bisection Status: a bisection 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.
#134905 opened Dec 29, 2024 by matthiaskrgr
1
Impl has "stricter" requirement that is implied by existing requirement A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-trait-system Area: Trait system C-bug Category: This is a bug. 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.
#134890 opened Dec 29, 2024 by LHolten
@compiler-errors
Unexpected static lifetime requirement for nested boxed closures with generic parameters 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. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134835 opened Dec 27, 2024 by marmeladema
3
Infinite recursion in type resolution for unused type C-bug Category: This is a bug. E-needs-mcve Call for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example 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-types Relevant to the types team, which will review and decide on the PR/issue.
#134719 opened Dec 24, 2024 by andriyDev
ProTip! no:milestone will show everything without a milestone.