-
Notifications
You must be signed in to change notification settings - Fork 13.4k
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Tracking issue for release notes of #140557: Remove manual WF hack
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
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.
canonicalizating placeholders should ignore their Category: PRs that clean code up or issues documenting cleanup.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
bound_var
C-cleanup
#141428
opened May 23, 2025 by
lcnr
builtin dyn impl no guide inference
disposition-merge
This issue / PR is in PFCP or FCP with a disposition to merge it.
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-types
Relevant to the types team, which will review and decide on the PR/issue.
#141352
opened May 21, 2025 by
lcnr
Loading…
ICE: Area: Associated items (types, constants & functions)
A-trait-system
Area: Trait system
C-bug
Category: This is a bug.
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
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-types
Relevant to the types team, which will review and decide on the PR/issue.
overflow evaluating the requirement
/ impl was matchable against binder but now it is not
A-associated-items
#141124
opened May 17, 2025 by
matthiaskrgr
Tracking issue for release notes of #139419: Error on recursive opaque ty in HIR typeck
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
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.
Type equality bounds disable implied projection outlives bounds
A-implied-bounds
Area: Implied bounds / inferred outlives-bounds
A-lifetimes
Area: Lifetimes / regions
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.
#141054
opened May 15, 2025 by
QuineDot
Tracking issue for release notes of #140208: Make well-formedness predicates no longer coinductive
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
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.
[WIP] Expand free alias types during variance computation
F-lazy_type_alias
`#![feature(lazy_type_alias)]`
perf-regression
Performance regression.
rla-silenced
Silences rust-log-analyzer postings to the PR it's added on.
S-waiting-on-author
Status: This is awaiting some action (such as code changes or more information) from the author.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
Expand free alias types when computing implied outlives-bounds
F-lazy_type_alias
`#![feature(lazy_type_alias)]`
S-waiting-on-author
Status: This is awaiting some action (such as code changes or more information) from the author.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
endless loop instead of an overflow error, in the presence of multiple requirements that would overflow.
A-GATs
Area: Generic associated types (GATs)
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-types
Relevant to the types team, which will review and decide on the PR/issue.
#140946
opened May 12, 2025 by
moshevds
Type inference of inferred repeat expr counts is not as strong as it could be
A-array
Area: `[T; N]`
C-bug
Category: This is a bug.
F-generic_arg_infer
Using `_` as a const argument: #![feature(generic_arg_infer)]`
F-marker_trait_attr
`#![feature(marker_trait_attr)]`
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.
#140855
opened May 9, 2025 by
BoxyUwU
Tracking issue for release notes of #139635: Finalize repeat expr inference behaviour with inferred repeat counts
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.
Make trait aliases eligible generic containers wrt. ambient object lifetime defaults
A-dyn-trait
Area: trait objects, vtable layout
A-lifetimes
Area: Lifetimes / regions
C-bug
Category: This is a bug.
F-trait_alias
`#![feature(trait_alias)]`
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.
#140710
opened May 6, 2025 by
fmease
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
member constraints are order-dependent
A-impl-trait
Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.
A-member-constraints
`#[feature(member_constraints)]`
A-NLL
Area: Non-lexical lifetimes (NLL)
C-bug
Category: This is a bug.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#140569
opened May 2, 2025 by
lcnr
wf: emit projection goal for aliases
perf-regression
Performance regression.
S-waiting-on-author
Status: This is awaiting some action (such as code changes or more information) from the author.
S-waiting-on-fcp
Status: PR is in FCP and is awaiting for FCP to complete.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
WG-trait-system-refactor
The Rustc Trait System Refactor Initiative (-Znext-solver)
#140558
opened May 1, 2025 by
lcnr
Loading…
RPIT(IT)s "leak" internal implementation details of lifetime capturing via boundedness
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-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.
#140517
opened Apr 30, 2025 by
Y-jiji
ICE - Mixing Async & GAT traits (invalid code)
A-GATs
Area: Generic associated types (GATs)
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-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.
#140381
opened Apr 28, 2025 by
AldaronLau
Trivial bounds check doesn't consider non-global predicates *after* normalization
C-bug
Category: This is a bug.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#140309
opened Apr 25, 2025 by
compiler-errors
Fix accidental type inference in array coercion
needs-fcp
This change is insta-stable, or significant enough to need a team FCP to proceed.
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.
#140283
opened Apr 25, 2025 by
adwinwhite
Loading…
Free type aliases should not require all generic parameters to be used
A-variance
Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)
C-bug
Category: This is a bug.
F-lazy_type_alias
`#![feature(lazy_type_alias)]`
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.
#140230
opened Apr 24, 2025 by
BoxyUwU
false positive "unconstrained opaque type" error on impl trait in trait associated type
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.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#140222
opened Apr 23, 2025 by
glorv
Nested but non-conflicting projection predicates emerging from supertrait bounds leads to ambiguity
C-bug
Category: This is a bug.
F-arbitrary_self_types
`#![feature(arbitrary_self_types)]`
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#140217
opened Apr 23, 2025 by
dingxiangfei2009
unconstrained type parameter
with associated types that are actually constrained
A-type-system
#140201
opened Apr 23, 2025 by
y86-dev
Tracking issue for release notes of #139646: check types of const param defaults
needs-triage
This issue may need triage. Remove it if it has been sufficiently triaged.
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.
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.