Skip to content

Issues: rust-lang/rust

Draft release notes for 1.87
#140133 opened Apr 21, 2025 by BoxyUwU
Open 6
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
24 Open 19 Closed
24 Open 19 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

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
11
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
Variance not computed for concrete GAT references in struct fields A-GATs Area: Generic associated types (GATs) 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.
#132198 opened Oct 26, 2024 by branchseer
1
Lint against creating an invariant, perpetual &mut borrow (&'a mut T<'a>) A-lints Area: Lints (warnings about flaws in source code) such as unused_mut. A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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.
#120481 opened Jan 29, 2024 by kpreid
associated types in generics cause lifetime invariance A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#115799 opened Sep 12, 2023 by tamird
3
Rust allows impl Fn(T<'a>) -> T<'b> to be : 'static, which is unsound A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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. S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. T-types Relevant to the types team, which will review and decide on the PR/issue.
#112905 opened Jun 21, 2023 by danielhenrymantilla
11
change handling of subtyping to be less fragile after analysis A-MIR Area: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html A-mir-opt Area: MIR optimizations A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-medium Call for participation: Medium difficulty. Experience needed to fix: Intermediate.
#112651 opened Jun 15, 2023 by lcnr
@ouz-a
15
invariant detection for recursive generic types incorrect with generic_const_exprs A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-bug Category: This is a bug. F-generic_const_exprs `#![feature(generic_const_exprs)]` requires-incomplete-features This issue requires the use of incomplete features. requires-nightly This issue requires a nightly compiler in some way.
#108751 opened Mar 4, 2023 by peter-lyons-kehl
lifetime diagnostic reports lifetimes backwards with invariance or contravariance A-borrow-checker Area: The borrow checker A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions A-NLL Area: Non-lexical lifetimes (NLL) A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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.
#108636 opened Mar 2, 2023 by QuineDot
@dianne
3
Implied bounds / well-formedness of references treats contravariant lifetimes the same as covariant A-docs Area: Documentation for any part of the project, including the compiler, standard library, and tools A-type-system Area: Type system A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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.
#106431 opened Jan 4, 2023 by Manishearth
11
Internally change regions to be covariant A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-hard Call for participation: Hard difficulty. Experience needed to fix: A lot. E-mentor Call for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion. T-types Relevant to the types team, which will review and decide on the PR/issue.
#103676 opened Oct 28, 2022 by lcnr
1
@aliemjay
2
Box<dyn FnOnce(T)> doesn't seem to be really contravariant with T A-dyn-trait Area: trait objects, vtable layout A-trait-system Area: Trait system A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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.
#100728 opened Aug 18, 2022 by fakedrake
2
Inferred struct lifetime bounds result in rejection of valid lifetimes A-lifetimes Area: Lifetimes / regions A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-bug Category: This is a bug.
#91942 opened Dec 14, 2021 by davidhalter
11
E0623 gives very confusing message A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) D-confusing Diagnostics: Confusing error or lint that should be reworked. D-newcomer-roadblock Diagnostics: Confusing error or lint; hard to understand for new users. D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#91831 opened Dec 12, 2021 by Timmmm
2
Possible false positive “temporary value dropped while borrowed” error A-borrow-checker Area: The borrow checker A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) D-newcomer-roadblock Diagnostics: Confusing error or lint; hard to understand for new users. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#89265 opened Sep 26, 2021 by EFanZh
7
Unclear introduction of 'static with APIT A-diagnostics Area: Messages for errors, warnings, and lints A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#88682 opened Sep 6, 2021 by CAD97
2
Description of E0495 failure difficult to parse A-diagnostics Area: Messages for errors, warnings, and lints A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#86910 opened Jul 6, 2021 by mcy
1
Improve help message when using &'a mut &'a T and &'a mut [&'a T] A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-enhancement Category: An issue proposing an enhancement or a PR with one. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#85723 opened May 26, 2021 by robinmoussu
1
Impl Trait forces unnecessary lifetime bounds A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-lifetimes Area: Lifetimes / regions A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html)
#80083 opened Dec 16, 2020 by CryZe
2
Static lifetimes and variance: Associated const treated differently (and perhaps incorrectly?) A-associated-items Area: Associated items (types, constants & functions) A-lifetimes Area: Lifetimes / regions A-type-system Area: Type system A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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.
#80052 opened Dec 15, 2020 by steffahn
2
Misleading message for [E0392] with associated types of trait bound A-diagnostics Area: Messages for errors, warnings, and lints A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#67361 opened Dec 16, 2019 by sharnoff
Trait object coercion has problems with contravariant structs and lifetime bounds A-coercions Area: implicit and explicit `expr as Type` coercions A-dyn-trait Area: trait objects, vtable layout A-lifetimes Area: Lifetimes / regions A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-enhancement Category: An issue proposing an enhancement or a PR with one. 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.
#36667 opened Sep 23, 2016 by amluto
2
Implied bounds on nested references + variance = soundness hole A-type-system Area: Type system A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) 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 S-bug-has-test Status: This bug is tracked inside the repo by a `known-bug` test. T-types Relevant to the types team, which will review and decide on the PR/issue.
#25860 opened May 28, 2015 by aturon
56
Rustdoc should indicate variance on lifetime/type parameters A-variance Area: Variance (https://doc.rust-lang.org/nomicon/subtyping.html) C-feature-request Category: A feature request, i.e: not implemented / a PR. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
#22108 opened Feb 9, 2015 by tomjakubowski
1
@fmease
9
ProTip! Follow long discussions with comments:>50.