-
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
TAIT: Area: Type system
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.
item does not constrain
after diverging expression
A-type-system
#141779
opened May 30, 2025 by
narpfel
Incoherent (?) Lifetime HRTB on associated type results in unsoundness in stable, safe code
A-associated-items
Area: Associated items (types, constants & functions)
A-closures
Area: Closures (`|…| { … }`)
A-type-system
Area: Type system
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-high
High 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.
#141713
opened May 29, 2025 by
maxdexh
Adding Area: Lifetimes / regions
A-type-system
Area: Type system
C-discussion
Category: Discussion or questions that doesn't represent real issues.
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.
use std::error::Error
unexpectedly breaks lifetime inference
A-lifetimes
#141673
opened May 28, 2025 by
phip1611
Trait unexpectedly not implemented with recursive where clause, with poor error message
A-type-system
Area: Type 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.
#141111
opened May 17, 2025 by
emilio
relaxed Area: Lints (warnings about flaws in source code) such as unused_mut.
A-type-system
Area: Type system
C-feature-request
Category: A feature request, i.e: not implemented / a PR.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
?Sized
bound getting implied by super trait warn
A-lints
#140962
opened May 13, 2025 by
lcnr
unconstrained type parameter
with associated types that are actually constrained
A-type-system
#140201
opened Apr 23, 2025 by
y86-dev
cargo check
works fine, but cargo build
gives "overflow evaluating the requirement "
A-type-system
#139658
opened Apr 11, 2025 by
theemathas
GAT: Fails to compile with additional bounds
A-lifetimes
Area: Lifetimes / regions
A-trait-system
Area: Trait system
A-type-system
Area: Type system
C-bug
Category: This is a bug.
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#139207
opened Apr 1, 2025 by
Ddystopia
error performing operation: fully_perform in ascribe_user_type
A-associated-items
Area: Associated items (types, constants & functions)
A-type-system
Area: Type system
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.
#138707
opened Mar 19, 2025 by
VincentVanlaer
Inconsistent Area: implicit and explicit `expr as Type` coercions
A-type-system
Area: Type system
C-bug
Category: This is a bug.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
fn
casting behavior in if
-else
branches for tuple and struct
A-coercions
#135970
opened Jan 24, 2025 by
gaesa
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
candidate selection for normalization and trait goals disagree
A-type-system
Area: Type system
P-low
Low priority
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#133044
opened Nov 14, 2024 by
lcnr
Tracking issue for Area: Type system
C-tracking-issue
Category: An issue tracking the progress of sth. like the implementation of an RFC
T-types
Relevant to the types team, which will review and decide on the PR/issue.
TypingMode
transition
A-type-system
#132279
opened Oct 28, 2024 by
lcnr
3 tasks
rustc consumes > 50GB memory, completes eventually but def. stuck on something
A-type-system
Area: Type system
C-optimization
Category: An issue highlighting optimization opportunities or PRs implementing such
E-needs-mcve
Call for participation: This issue has a repro, but needs a Minimal Complete and Verifiable Example
I-compilemem
Issue: Problems and improvements with respect to memory usage during compilation.
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.
#129844
opened Sep 1, 2024 by
GlenDC
Work tracking issue for moving Area: Messages for errors, warnings, and lints
A-type-system
Area: Type system
C-tracking-issue
Category: An issue tracking the progress of sth. like the implementation of an RFC
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.
rustc_infer
error reporting into rustc_trait_selection
A-diagnostics
#127492
opened Jul 8, 2024 by
compiler-errors
7 of 12 tasks
Call to function broken by unrelated constraint on generic function containing the call
A-type-system
Area: Type 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-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.
#125274
opened May 19, 2024 by
tonyelewis
Exponential time complexity when type checking code with equality constraints
A-type-system
Area: Type system
C-optimization
Category: An issue highlighting optimization opportunities or PRs implementing such
I-compiletime
Issue: Problems and improvements with respect to compile times.
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.
#125267
opened May 19, 2024 by
jhpratt
The value no longer satisfies the constraint after passing through Area: Type system
C-discussion
Category: Discussion or questions that doesn't represent real issues.
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.
identity
, which seems counterintuitive
A-type-system
#124481
opened Apr 28, 2024 by
A4-Tacks
Enum variants can't be imported via type alias
A-type-system
Area: Type 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-lang
Relevant to the language team
T-types
Relevant to the types team, which will review and decide on the PR/issue.
#123131
opened Mar 27, 2024 by
pitdicker
error: cycle detected
on latest rust nightly for windows build.
A-type-system
#122469
opened Mar 14, 2024 by
Wyvern
internal refactoring: cleanup type relations
A-technical-debt
Area: Internal cleanup work
A-type-system
Area: Type system
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
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.
WG-trait-system-refactor
The Rustc Trait System Refactor Initiative (-Znext-solver)
#121159
opened Feb 15, 2024 by
lcnr
3 of 4 tasks
ICE no errors encountered even though Area: Type system
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.
delay_span_bug
issued - Bevy - Unused trait method name same as struct method name
A-type-system
#120918
opened Feb 11, 2024 by
MJE10
Compile is too slow
A-type-system
Area: Type system
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
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.
#119736
opened Jan 8, 2024 by
araraloren
Misleading "Area: Messages for errors, warnings, and lints
A-type-system
Area: Type system
D-confusing
Diagnostics: Confusing error or lint that should be reworked.
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.
match
arms have incompatible types" when match expression used in unimplemented operation
A-diagnostics
#119683
opened Jan 7, 2024 by
LilyIsTrans
Unable to infer fn item to fn ptr coercion when fn ptr nested within more than one level of generics
A-inference
Area: Type inference
A-type-system
Area: Type 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.
#119605
opened Jan 5, 2024 by
collinmay
Previous Next
ProTip!
Updated in the last three days: updated:>2025-05-30.