Skip to content

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
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

Issues list

compiler trait solver gets stuck (infinite loop or tail recursion?), related to GAT and associated type equality constraint A-GATs Area: Generic associated types (GATs) 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.
#134370 opened Dec 16, 2024 by nerditation
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
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
Broken MIR in DefId (TerminatorKind::Call with GATs) A-GATs Area: Generic associated types (GATs) C-bug Category: This is a bug. fixed-by-next-solver Fixed by the next-generation trait solver, `-Znext-solver`. 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.
#131373 opened Oct 7, 2024 by racharron
ICE: "error performing operation: fully_perform" on type inference for trait object with HRTB over GAT A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-lifetimes Area: Lifetimes / regions A-trait-objects Area: trait objects, vtable layout 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-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.
#130797 opened Sep 24, 2024 by arvidfm
error[E0275]: overflow evaluating the requirement <RefTFamily<T> as LifetimizedOutputFamily>::Output<'a> == _ 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.
#130728 opened Sep 23, 2024 by JohnScience
Compiler freezes on trait with generic associated type A-associated-items Area: Associated items (types, constants & functions) A-GATs Area: Generic associated types (GATs) A-lifetimes Area: Lifetimes / regions 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-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#130640 opened Sep 20, 2024 by antonilol
ICE: broken MIR: NoSolution on HRTB over GAT in trait object A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-lifetimes Area: Lifetimes / regions A-trait-objects Area: trait objects, vtable layout 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-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.
#130524 opened Sep 18, 2024 by arvidfm
ICE with higher order associated types A-associated-items Area: Associated items (types, constants & functions) A-GATs Area: Generic associated types (GATs) C-bug Category: This is a bug. fixed-by-next-solver Fixed by the next-generation trait solver, `-Znext-solver`. 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.
#129372 opened Aug 21, 2024 by LHolten
Unable to see through associated type with where clause on GAT A-associated-items Area: Associated items (types, constants & functions) A-GATs Area: Generic associated types (GATs) 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`. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#122745 opened Mar 19, 2024 by benluelo
Compiler indefinitely takes resources when HRTB is used in conjunction with lifetime in GAT A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-lifetimes Area: Lifetimes / regions 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-compilemem Issue: Problems and improvements with respect to memory usage during compilation. I-hang Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#121821 opened Feb 29, 2024 by dodomorandi
HRTB and GAT problem A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) 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.
#121437 opened Feb 22, 2024 by davidli2010
ICE: Broken MIR: NoSolution A-GATs Area: Generic associated types (GATs) A-lifetimes Area: Lifetimes / regions A-MIR Area: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html 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.
#120811 opened Feb 8, 2024 by antiguru
Failure to assume GAT normalization holds when proving GAT bounds in impl A-GATs Area: Generic associated types (GATs) F-associated_type_defaults `#![feature(associated_type_defaults)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#117606 opened Nov 5, 2023 by compiler-errors
Object lifetime defaults of GATs are not respected A-associated-items Area: Associated items (types, constants & functions) A-GATs Area: Generic associated types (GATs) A-lifetimes Area: Lifetimes / regions A-trait-objects Area: trait objects, vtable layout 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.
#115379 opened Aug 30, 2023 by fmease
Inapplicable "add explicit lifetime bound" suggestion for trait with GAT bound A-diagnostics Area: Messages for errors, warnings, and lints A-GATs Area: Generic associated types (GATs) D-invalid-suggestion Diagnostics: A structured suggestion resulting in incorrect code. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#115332 opened Aug 29, 2023 by detly
GAT lifetime tricky A-diagnostics Area: Messages for errors, warnings, and lints A-GATs Area: Generic associated types (GATs) A-lifetimes Area: Lifetimes / regions C-bug Category: This is a bug.
#112764 opened Jun 18, 2023 by crlf0710
Overflow evaluating the requirement when using GATs A-GATs Area: Generic associated types (GATs) C-bug Category: This is a bug. 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.
#112097 opened May 30, 2023 by momvart
error: X does not live long enough doesn't provide enough context A-async-await Area: Async & Await A-diagnostics Area: Messages for errors, warnings, and lints A-GATs Area: Generic associated types (GATs) A-lifetimes Area: Lifetimes / regions AsyncAwait-Triaged Async-await issues that have been triaged during a working group meeting. C-bug Category: This is a bug. D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. S-has-mcve Status: A Minimal Complete and Verifiable Example has been found for this issue
#111852 opened May 22, 2023 by frederikhors
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
Unable to resolve HRTB/GAT lifetimes trait bounds A-GATs Area: Generic associated types (GATs) A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-lifetimes Area: Lifetimes / regions A-trait-system Area: Trait system C-bug Category: This is a bug. S-needs-repro Status: This issue has no reproduction and needs a reproduction to make progress. T-types Relevant to the types team, which will review and decide on the PR/issue.
#110136 opened Apr 10, 2023 by StefanUlbrich
Incorrect unused_braces when a proc macro is applied to a GAT type conversion A-GATs Area: Generic associated types (GATs) A-proc-macros Area: Procedural macros C-bug Category: This is a bug. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#109473 opened Mar 22, 2023 by teor2345
Compilation stop when referring to GAT of Self in where clause of trait implementation A-GATs Area: Generic associated types (GATs) 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-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#109279 opened Mar 17, 2023 by BotAngus
Passing a lifetime GAT to a closure can cause the compiler to run indefinitely A-GATs Area: Generic associated types (GATs) 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-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#108826 opened Mar 6, 2023 by jihiggins
Busy-loop Evaluating Bound on GAT Argument A-GATs Area: Generic associated types (GATs) 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-compilemem Issue: Problems and improvements with respect to memory usage during compilation. I-hang Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#108374 opened Feb 23, 2023 by Lunderberg
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.