-
Notifications
You must be signed in to change notification settings - Fork 13.3k
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
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-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
GAT code doesn't compile when plug in the type directly
A-GATs
Area: Generic associated types (GATs)
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.
#140517
opened Apr 30, 2025 by
Y-jiji
Non-implemented trait causes ICE
C-bug
Category: This is a bug.
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
P-low
Low priority
regression-from-stable-to-beta
Performance or correctness regression from stable to beta.
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.
#140462
opened Apr 29, 2025 by
dpytaylo
ICE: Category: This is a bug.
F-unboxed_closures
`#![feature(unboxed_closures)]`
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
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.
encountered type variable
(2)
C-bug
#140443
opened Apr 29, 2025 by
Danila-Bain
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-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, so needs a completed FCP to proceed.
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.
#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
incompletely relating alias args is unsound during vtable creation
fixed-by-next-solver
Fixed by the next-generation trait solver, `-Znext-solver`.
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.
#140212
opened Apr 23, 2025 by
lcnr
Make well-formedness predicates no longer coinductive
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.
#140208
opened Apr 23, 2025 by
compiler-errors
Loading…
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.
Struct containing only associated type of generic may be too constraining variance wise
A-variance
Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)
C-discussion
Category: Discussion or questions that doesn't represent real issues.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#140109
opened Apr 21, 2025 by
krtab
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
Generate obligations when possible instead of rejecting with ambiguity
S-waiting-on-author
Status: This is awaiting some action (such as code changes or more information) from the author.
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.
#139955
opened Apr 17, 2025 by
dingxiangfei2009
•
Draft
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
Associated Type Equality Bounds are not properly resolved
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.
#139682
opened Apr 11, 2025 by
Jeff-A-Martin
Handle regions equivalent to 'static in non_local_bounds
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.
#139668
opened Apr 11, 2025 by
matthewjasper
Loading…
ICE: compiler/rustc_middle/src/ty/normalize_erasing_regions.rs:169:13: Failed to normalize Alias(...
A-impl-trait
Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch.
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.
#139659
opened Apr 11, 2025 by
theemathas
cargo check
works fine, but cargo build
gives "overflow evaluating the requirement "
C-bug
#139658
opened Apr 11, 2025 by
theemathas
Array repeat exprs dont permit non-copy adt ctors as elements
C-bug
Category: This is a bug.
C-feature-request
Category: A feature request, i.e: not implemented / a PR.
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.
#139642
opened Apr 10, 2025 by
BoxyUwU
Finalize repeat expr inference behaviour with inferred repeat counts
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-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.
#139635
opened Apr 10, 2025 by
BoxyUwU
Loading…
Previous Next
ProTip!
Adding no:label will show everything without a label.