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

candidate selection for normalization and trait goals disagree A-type-system Area: Type system I-types-nominated Nominated for discussion during a types team meeting. 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 TypingMode transition A-type-system 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.
#132279 opened Oct 28, 2024 by lcnr
2 tasks
rustc consumes > 50GB memory, completes eventually but def. stuck on something A-type-system Area: Type system 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 rustc_infer error reporting into rustc_trait_selection A-diagnostics 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.
#127492 opened Jul 8, 2024 by compiler-errors
7 of 12 tasks
ICE: still mutable A-type-system Area: Type system C-bug Category: This is a bug. E-needs-test Call for participation: An issue has been fixed and does not reproduce, but no test has been added. 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.
#125668 opened May 28, 2024 by matthiaskrgr
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.
#125267 opened May 19, 2024 by jhpratt
The value no longer satisfies the constraint after passing through identity, which seems counterintuitive 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.
#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, 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 Area: Type 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-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#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. E-hard Call for participation: Hard difficulty. Experience needed to fix: A lot. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#121159 opened Feb 15, 2024 by lcnr
2 of 4 tasks
ICE no errors encountered even though delay_span_bug issued - Bevy - Unused trait method name same as struct method name 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) ❄️ T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#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 "match arms have incompatible types" when match expression used in unimplemented operation A-diagnostics 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.
#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.
#119605 opened Jan 5, 2024 by collinmay
Failure to consistently choose between inherent impl and trait method inside an async block 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-lang Relevant to the language team, which will review and decide on the PR/issue.
#119526 opened Jan 2, 2024 by BattyBoopers
Overflowing evaluation in a simple trait A-trait-system Area: Trait system 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.
#119370 opened Dec 28, 2023 by zommiommy
Confusing output when passing a FnMut closure via non-mut reference A-diagnostics 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.
#118843 opened Dec 11, 2023 by Lexicality
Recursive generics A-type-system Area: Type system C-bug Category: This is a bug. I-hang Issue: The compiler never terminates, due to infinite loops, deadlock, livelock, etc. P-low Low priority regression-from-stable-to-stable Performance or correctness regression from one stable version to another. 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.
#118449 opened Nov 29, 2023 by notdanilo
Why is Deref not triggered when func(x.deref()) work. A-inference Area: Type inference A-type-system Area: Type 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.
#116920 opened Oct 19, 2023 by shuyanzhu
Subtrait blanket implementation error inferring associated type 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. 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.
#116720 opened Oct 14, 2023 by jflatow
overloaded unary "-" operator in match arms bug 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.
#114380 opened Aug 2, 2023 by dlamei
Trait resolution stress test. A-type-system Area: Type system 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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
#113511 opened Jul 9, 2023 by Dragon-Hatcher
Overflow evaluating requirement for an unusued type when function has generic lifetime parameters 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.
#113496 opened Jul 9, 2023 by JackStade
Unclear error when trying to write high-order function accepting an async function that itself takes a reference A-async-await Area: Async & Await A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions A-type-system Area: Type system AsyncAwait-Triaged Async-await issues that have been triaged during a working group meeting. C-bug Category: This is a bug. D-confusing Diagnostics: Confusing error or lint that should be reworked. D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. P-medium Medium priority T-types Relevant to the types team, which will review and decide on the PR/issue.
#113495 opened Jul 9, 2023 by pvillela
ProTip! Type g i on any issue or pull request to go back to the issue listing page.