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
607 Open 431 Closed
607 Open 431 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

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. 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.
#134890 opened Dec 29, 2024 by LHolten
Infinite recursion in type resolution for unused type 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. 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.
#134719 opened Dec 24, 2024 by andriyDev
regression: error[E0119]: conflicting implementations of trait AsStr for type String C-bug Category: This is a bug. I-prioritize Issue: Indicates that prioritization has been requested for this issue. needs-triage This issue may need triage. Remove it if it has been sufficiently triaged. 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.
#134708 opened Dec 23, 2024 by cuviper 1.84.0
2
ICE (delayed): broken MIR in DefId(...) (...): bad assignment (...): NoSolution C-bug Category: This is a bug. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ 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.
#134587 opened Dec 20, 2024 by niacdoial
4
auto trait leakage can be used to leak arbitrary types A-auto-traits Area: auto traits (e.g., `auto trait Send {}`) A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. I-ICE Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️ I-types-nominated Nominated for discussion during a types team meeting. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134578 opened Dec 20, 2024 by lcnr
Polonius fails to infer lifetimes of borrows C-bug Category: This is a bug. 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.
#134554 opened Dec 20, 2024 by zeenix
5
Equality constraints break type resolution 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.
#134483 opened Dec 18, 2024 by Coder-256
Unsized types in required trait methods A-lints Area: Lints (warnings about flaws in source code) such as unused_mut. A-trait-objects Area: trait objects, vtable layout C-feature-request Category: A feature request, i.e: not implemented / a PR. needs-rfc This change is large or controversial enough that it should have an RFC accepted before doing it. 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.
#134475 opened Dec 18, 2024 by ionicmc-rs
9
When subtyping can change switch out trait impls, Pin::new’s check for Target: Unpin becomes insufficient A-pin Area: Pin C-bug Category: This is a bug. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-medium Medium priority T-libs-api Relevant to the library API 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.
#134407 opened Dec 17, 2024 by steffahn
8
compiler trait solver gets stuck (infinite loop or tail recursion?), related to GAT and associated type equality constraint A-GATs Area: Generic associated types (GATs) 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-types Relevant to the types team, which will review and decide on the PR/issue.
#134370 opened Dec 16, 2024 by nerditation
3
Trait resolution fails, and then rustc hangs. A-associated-items Area: Associated items (types, constants & functions) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) 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-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.
#134312 opened Dec 14, 2024 by frankmcsherry
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
Tracking issue for release notes of #132325: rework winnowing to sensibly handle global where-bounds relnotes Marks issues that should be documented in the release notes of the next release. relnotes-tracking-issue Marks issues tracking what text to put in release notes. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134309 opened Dec 14, 2024 by rustbot
3 tasks
1.85.0
Tracking issue for release notes of #133392: Fix ICE when multiple supertrait substitutions need assoc but only one is provided relnotes Marks issues that should be documented in the release notes of the next release. relnotes-tracking-issue Marks issues tracking what text to put in release notes. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134308 opened Dec 14, 2024 by rustbot
3 tasks
1.85.0
4
Trivial bounds with associated types regression 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`. P-low Low priority regression-from-stable-to-stable Performance or correctness regression from one stable version to another. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134238 opened Dec 13, 2024 by konnorandrews
2
ICE: Encountered error SignatureMismatch A-mir-opt-inlining Area: MIR inlining 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. 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.
#134174 opened Dec 11, 2024 by matthiaskrgr
@compiler-errors
9
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
1
rustc doesn't infer that the future of a recursive async fn is Send. C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#134101 opened Dec 9, 2024 by jimblandy
2
Hang from infinitely-self-recursive trait alias C-bug Category: This is a bug. F-trait_alias `#![feature(trait_alias)]` I-hang Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc. 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.
#133901 opened Dec 5, 2024 by wxie7
1
9
Stabilize derive(CoercePointee) disposition-merge This issue / PR is in PFCP or FCP with a disposition to merge it. F-derive_coerce_pointee Feature: RFC 3621's oft-renamed implementation I-lang-nominated Nominated for discussion during a lang team meeting. I-types-nominated Nominated for discussion during a types 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-fcp Status: PR is in FCP and is awaiting for FCP to complete. 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. to-announce Announce this issue on triage meeting
#133820 opened Dec 3, 2024 by dingxiangfei2009 Loading…
@joboet
38
compare_method_predicate_entailment is missing implied bounds from higher-ranked GAT A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-implied-bounds Area: Implied bounds / inferred outlives-bounds 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.
#133805 opened Dec 3, 2024 by compiler-errors
Cannot return value from loop when temporary mutable access occurs before. A-borrow-checker Area: The borrow checker C-bug Category: This is a bug. fixed-by-polonius Compiling with `-Zpolonius` fixes this issue. T-types Relevant to the types team, which will review and decide on the PR/issue.
#133539 opened Nov 27, 2024 by nikvoid
2
track whether a non-coherence TypingMode has been used to reuse cache entries C-feature-request Category: A feature request, i.e: not implemented / a PR. T-types Relevant to the types team, which will review and decide on the PR/issue.
#133497 opened Nov 26, 2024 by lcnr
1
An unsafe const fn being used to compute an array length or const generic is incorrectly described as being an "item". A-diagnostics Area: Messages for errors, warnings, and lints I-lang-nominated Nominated for discussion during a lang team meeting. 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.
#133441 opened Nov 25, 2024 by theemathas
13
Const generic is incorrectly inferred 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
ProTip! no:milestone will show everything without a milestone.