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.

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
51 Open 223 Closed
51 Open 223 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

Hang: type_alias_impl_trait C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#132797 opened Nov 9, 2024 by wxie7
3
ICE: Unsize coercion, but &dyn Foo<'_> isn't coercible to &dyn Bar<'_, '_, ()> -Zvalidate-mir Unstable option: MIR validation C-bug Category: This is a bug. F-trait_upcasting `#![feature(trait_upcasting)]` F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#131886 opened Oct 18, 2024 by matthiaskrgr
3
ICE: panic in a destructor during cleanup C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#131298 opened Oct 5, 2024 by matthiaskrgr
2
TAIT coherence checks don't ensure composability of crates A-coherence Area: Coherence A-trait-system Area: Trait system C-bug Category: This is a bug. F-impl_trait_in_assoc_type `#![feature(impl_trait_in_assoc_type)]` F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` requires-nightly This issue requires a nightly compiler in some way. T-types Relevant to the types team, which will review and decide on the PR/issue.
#130978 opened Sep 28, 2024 by steffahn
@fmease
5
Proof of Concept: add #[defines] attribute and require it for all type-alias-impl-trait sites that register a hidden type F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` S-blocked Status: Blocked on something else such as an RFC or other implementation work. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)
#128440 opened Jul 31, 2024 by oli-obk • Draft
1 task
17
ICE: Failed to normalize Alias(Weak, AliasTy { with feature(type_alias_impl_trait) C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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-bisection Status: a bisection has been found for this issue T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#127353 opened Jul 5, 2024 by Naserume
2
ICE: unhandled type: Alias(...) in rustc_mir_transform/src/validate.rs when [mir_built] C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#126680 opened Jun 19, 2024 by cushionbadak
2
ICE: icnr comp: type variable should not be hashed A-incr-comp Area: Incremental compilation C-bug Category: This is a bug. F-transmutability `#![feature(transmutability)]` F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#125885 opened Jun 2, 2024 by matthiaskrgr
1
ICE: could not resolve upvar: LocalVarId(HirId(DefId))) C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#125553 opened May 25, 2024 by matthiaskrgr
ICE: unhandled type: {type error} -Zvalidate-mir Unstable option: MIR validation C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#125185 opened May 16, 2024 by matthiaskrgr
Passing pointer to value of type alias with impl Trait through function breaks this type C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#123983 opened Apr 15, 2024 by nikvoid
4
ICE: {OpaqueTypeKey { def_id: DefId .. C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#123157 opened Mar 28, 2024 by matthiaskrgr
@oli-obk
2
Confusing behavior and mismatched error reports for impl_trait_in_fn_trait_return && type_alias_impl_trait C-bug Category: This is a bug. F-impl_trait_in_fn_trait_return `#![feature(impl_trait_in_fn_trait_return)]` 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.
#122279 opened Mar 10, 2024 by Jedsek
1
rustdoc: ICE: synthetic auto trait impls: unexpected region: RePlaceholder[…] involving TAIT A-auto-traits Area: auto traits (e.g., `auto trait Send {}`) A-lifetimes Area: Lifetimes / regions A-synthetic-impls Area: Synthetic impls, used by rustdoc to document auto traits and traits with blanket impls C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
#120606 opened Feb 3, 2024 by Sherlock-Holo
@fmease
1
ice: type mismatch when copying C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` 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.
#120016 opened Jan 16, 2024 by matthiaskrgr
5
TAIT applies type constraints backwards where variable type is already fully constrained A-diagnostics Area: Messages for errors, warnings, and lints 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.
#119513 opened Jan 2, 2024 by BattyBoopers
4
Conflict implementation when upstream crate has any impl for any type_alias_impl_trait type A-coherence Area: Coherence A-trait-system Area: Trait system C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#119318 opened Dec 26, 2023 by mikialex
Decision on "must define before use" for opaque types A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-lang Relevant to the language team, which will review and decide on the PR/issue.
#117866 opened Nov 13, 2023 by traviscross
9
TAIT decision on "may not define may guide inference" A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-lang Relevant to the language team, which will review and decide on the PR/issue.
#117865 opened Nov 13, 2023 by traviscross
1
TAIT decision on whether nested inner items may define A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-lang Relevant to the language team, which will review and decide on the PR/issue.
#117860 opened Nov 13, 2023 by traviscross
1
Spurious cycle when passing an existential type referencing EnumMap to closure A-closures Area: Closures (`|…| { … }`) C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` I-cycle Issue: A query cycle occurred while none was expected T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#116380 opened Oct 3, 2023 by amatveiakin
opaque type needlessly inferred to be recursive A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-types Relevant to the types team, which will review and decide on the PR/issue.
#115017 opened Aug 20, 2023 by aliemjay
@oli-obk
2
rustdoc leaks MIR ConstValue representation of cross-crate const values that have an opaque type A-cross-crate-reexports Area: Documentation that has been re-exported from a different crate C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]` T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
#113863 opened Jul 19, 2023 by fmease
1
TAIT: typed patterns don't count as defining uses A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. C-bug Category: This is a bug. F-type_alias_impl_trait `#[feature(type_alias_impl_trait)]`
#113596 opened Jul 11, 2023 by kpreid
Explain how to fix “no field on type” on a TAIT / ATPIT typed value A-diagnostics Area: Messages for errors, warnings, and lints A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. F-impl_trait_in_assoc_type `#![feature(impl_trait_in_assoc_type)]` 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.
#113581 opened Jul 11, 2023 by kpreid
1
ProTip! Adding no:label will show everything without a label.