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
19 Open 21 Closed
19 Open 21 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

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
Impl has "stricter" requirement that is implied by existing requirement A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-trait-system Area: Trait 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-types Relevant to the types team, which will review and decide on the PR/issue.
#134890 opened Dec 29, 2024 by LHolten
@compiler-errors
compare_method_predicate_entailment is missing implied bounds from higher-ranked GAT A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-implied-bounds Area: Implied bounds / inferred outlives-bounds 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.
#133805 opened Dec 3, 2024 by compiler-errors
Outlives requirements are not implied in the return type of async fn, and generally for RPIT A-async-await Area: Async & Await A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-implied-bounds Area: Implied bounds / inferred outlives-bounds AsyncAwait-Triaged Async-await issues that have been triaged during a working group meeting. C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#130935 opened Sep 27, 2024 by jackh726
2
false positive when associated_type_bounds used with for<> on super traits A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-trait-system Area: Trait system C-bug Category: This is a bug. F-associated_type_bounds `#![feature(associated_type_bounds)]` fixed-by-next-solver Fixed by the next-generation trait solver, `-Znext-solver`. 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.
#121929 opened Mar 3, 2024 by fee1-dead
2
Inconsistent borrow-checking errors based on function return type A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-bug Category: This is a bug.
#113771 opened Jul 16, 2023 by yakubin
2
where vs : in trait bounds A-associated-items Area: Associated items (types, constants & functions) A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-trait-system Area: Trait system C-discussion Category: Discussion or questions that doesn't represent real issues. 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.
#113195 opened Jun 30, 2023 by redshiftss
2
Trait fails to imply trait bounds for super trait associated types A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-trait-system Area: Trait system C-bug Category: This is a bug.
#111926 opened May 24, 2023 by Dante-Broggi
5
Trait implementation implies trait bounds for associated types but not for GAT associated types A-GATs Area: Generic associated types (GATs) A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-bug Category: This is a bug.
#111158 opened May 3, 2023 by inanna-malick
1
bounds on trait impls are used in implied bounds A-implied-bounds Area: Implied bounds / inferred outlives-bounds 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.
#109628 opened Mar 26, 2023 by aliemjay
3
2
implied bounds: lifetime equality lost after normalization A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-bug Category: This is a bug. 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.
#106569 opened Jan 7, 2023 by aliemjay
1
1
wfcheck: pre-normalization implied bounds are not used. A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#105948 opened Dec 20, 2022 by aliemjay
1
implied bounds from impl header are not used when comparing trait and impl methods A-associated-items Area: Associated items (types, constants & functions) A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#105495 opened Dec 9, 2022 by aliemjay
1
3
implied bounds from projections in impl header can be unsound A-associated-items Area: Associated items (types, constants & functions) A-implied-bounds Area: Implied bounds / inferred outlives-bounds 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 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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
#100051 opened Aug 2, 2022 by aliemjay
6
HRTBs, implementation is not general enough A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-lifetimes Area: Lifetimes / regions C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#98403 opened Jun 22, 2022 by okryvyts
Inferred lifetime bound for generic trait parameter is incorrect A-implied-bounds Area: Implied bounds / inferred outlives-bounds C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#96243 opened Apr 20, 2022 by eds-collabora
2
Associated constants inside array repeat expression don't use implied bounds from impl header during well-formedness checking A-associated-items Area: Associated items (types, constants & functions) A-implied-bounds Area: Implied bounds / inferred outlives-bounds A-trait-system Area: Trait 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-types Relevant to the types team, which will review and decide on the PR/issue.
#89236 opened Sep 24, 2021 by typesanitizer
5
HRTB on subtrait unsoundly provides HTRB on supertrait with weaker implied bounds A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-implied-bounds Area: Implied bounds / inferred outlives-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. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness P-high High priority 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.
#84591 opened Apr 26, 2021 by steffahn
6
Implicit lifetimes of type parameters does not work A-implied-bounds Area: Implied bounds / inferred outlives-bounds 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.
#75252 opened Aug 7, 2020 by canova
3
ProTip! Add no:assignee to see everything that’s not assigned.