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
30 Open 23 Closed
30 Open 23 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

impl block on a type defined with type_alias_impl_trait can conflict with other unrelated impl A-coherence Area: Coherence A-hygiene Area: Macro hygiene C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#139583 opened Apr 9, 2025 by douglas-raillard-arm
2
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
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
experiment with relaxing the orphan rule A-coherence Area: Coherence A-rust-for-linux Relevant for the Rust-for-Linux project C-discussion Category: Discussion or questions that doesn't represent real issues. I-lang-radar Items that are on lang's radar and will need eventual work or consideration. I-types-nominated Nominated for discussion during a types 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.
#136979 opened Feb 13, 2025 by y86-dev
29
ICE during orphanck with the next solver involving opaque type "covered" by a fundamental type A-coherence Area: Coherence C-bug Category: This is a bug. F-fundamental `#![feature(fundamental)]` F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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-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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
#136188 opened Jan 28, 2025 by fmease
1
@fmease
1
TAIT coherence checks don't ensure composability of crates A-coherence Area: Coherence 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)]` F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` requires-nightly This issue requires a nightly compiler in some way. T-types Relevant to the types team, which will review and decide on the PR/issue.
#130978 opened Sep 28, 2024 by steffahn
1
@fmease
5
"downstream crates may implement trait for type" for both trait and type private to this crate A-coherence Area: Coherence C-enhancement Category: An issue proposing an enhancement or a PR with one. D-incorrect Diagnostics: A diagnostic that is giving misleading or incorrect information. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#130839 opened Sep 25, 2024 by tisonkun
5
E0210: clarify "at least one type" A-coherence Area: Coherence T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#128814 opened Aug 8, 2024 by Natureshadow
Tracking issue for future-incompatibility lint uncovered_param_in_projection A-coherence Area: Coherence A-lints Area: Lints (warnings about flaws in source code) such as unused_mut. A-trait-system Area: Trait system C-future-incompatibility Category: Future-incompatibility lints C-tracking-issue Category: An issue tracking the progress of sth. like the implementation of an RFC L-uncovered_param_in_projection Lint: uncovered_param_in_projection 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.
#124559 opened Apr 30, 2024 by fmease
6
Conflicting implementation should not exist after generic trait paramters have been constrained to associated types A-associated-items Area: Associated items (types, constants & functions) A-coherence Area: Coherence A-trait-system Area: Trait system C-discussion Category: Discussion or questions that doesn't represent real issues. 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.
#123450 opened Apr 4, 2024 by ZhennanWu
coherence errors: inspect analyse visitor causes hangs A-coherence Area: Coherence C-bug Category: This is a bug. 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-types Relevant to the types team, which will review and decide on the PR/issue.
#136243 opened Feb 22, 2024 by lcnr
ICE: with_negative_coherence: None in compiler/rustc_infer/src/infer/canonical/canonicalizer.rs:483:43 A-coherence Area: Coherence 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.
#119381 opened Dec 28, 2023 by matthiaskrgr
2
4
Conflict implementation when upstream crate has any impl for any type_alias_impl_trait type A-coherence Area: Coherence A-trait-system Area: Trait system C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#119318 opened Dec 26, 2023 by mikialex
conflicting implementations of trait Borrow<std::option::Option<_>> for type Body<_, _> A-coherence Area: Coherence A-diagnostics Area: Messages for errors, warnings, and lints 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.
#110532 opened Apr 19, 2023 by MaxKingPor
1
Compilation error when implementing From using a concrete associated type from another crate A-associated-items Area: Associated items (types, constants & functions) A-coherence Area: Coherence C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#109885 opened Apr 3, 2023 by stormshield-kg
3
implementing From<<ForeignTy as ToOwned>::Owned> for LocalTy, errors with conflicting implementation 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-types Relevant to the types team, which will review and decide on the PR/issue.
#107514 opened Jan 31, 2023 by PizzasBear
3
Conflicting implementations error that violates orphan rules 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.
#106721 opened Jan 11, 2023 by shamatar
Trait impls using associated types of a type defined in another crate cause confusing "conflicting implementations" error although implementations don't actually conflict A-coherence Area: Coherence 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.
#102958 opened Oct 12, 2022 by sdroege
4
Trait argument from associated type has conflicting impl A-associated-items Area: Associated items (types, constants & functions) A-coherence Area: Coherence C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#99940 opened Jul 30, 2022 by conradludgate
8
orphan check incorrectly handles projections 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. E-medium Call for participation: Medium difficulty. Experience needed to fix: Intermediate. E-mentor Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-high High priority S-triggers-future-incompat-lint Status: This bug triggers a future-incompatibility lint T-types Relevant to the types team, which will review and decide on the PR/issue.
#99554 opened Jul 21, 2022 by lcnr
2
@fmease
6
Coherence issue when using crate-local traits with type parameters A-coherence Area: Coherence A-trait-system Area: Trait system A-visibility Area: Visibility / privacy 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.
#97811 opened Jun 6, 2022 by ghananigans
1
Conflicting implementations error despite bound preventing conflict A-coherence Area: Coherence 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.
#90587 opened Nov 4, 2021 by dhardy
Associated types from foreign trait impls are considered as conflicting with every other type 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.
#85898 opened Jun 1, 2021 by elinorbgr
1
2
Implementing From for associated type results in confusing error A-associated-items Area: Associated items (types, constants & functions) A-coherence Area: Coherence A-diagnostics Area: Messages for errors, warnings, and lints D-confusing Diagnostics: Confusing error or lint that should be reworked. T-types Relevant to the types team, which will review and decide on the PR/issue.
#85576 opened May 22, 2021 by oliver-giersch
4
ProTip! Type g i on any issue or pull request to go back to the issue listing page.