Issues · rust-lang/rust (original) (raw)
member constraints are order-dependent A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. A-member-constraints `#[feature(member_constraints)]` A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. T-types Relevant to the types team, which will review and decide on the PR/issue.
#140569 opened May 2, 2025 bylcnr
Rustc panics at free_region_relations.rs:93:9: "can't find an upper bound!?" A-borrow-checker Area: The borrow checker A-closures Area: Closures (`|…| { … }`) A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. 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-types Relevant to the types team, which will review and decide on the PR/issue.
#139004 opened Mar 26, 2025 bydil-zgaal
A out-of-air lifetime that that may not live long vs. the implementation is not general enough A-diagnostics Area: Messages for errors, warnings, and lints A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-NLL Area: Non-lexical lifetimes (NLL) 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. NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#131821 opened Oct 17, 2024 byxmh0511
closure rvalue not checked for WF allowing it to assume more implied bounds A-borrow-checker Area: The borrow checker A-closures Area: Closures (`|…| { … }`) A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. NLL-sound Working towards the "invalid code does not compile" goal T-types Relevant to the types team, which will review and decide on the PR/issue.
#123312 opened Apr 1, 2024 byaliemjay
ignored lifetime constraints in type annotations A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. NLL-sound Working towards the "invalid code does not compile" goal P-medium Medium priority regression-from-stable-to-stable Performance or correctness regression from one stable version to another. 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.
#115175 opened Aug 24, 2023 byaliemjay
Mysterious "higher-ranked lifetime error" with async fn in trait and return-type notation A-higher-ranked Area: Higher-ranked things (e.g., lifetimes, types, trait bounds aka HRTBs) A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. D-confusing Diagnostics: Confusing error or lint that should be reworked. F-async_fn_in_trait Static async fn in traits F-return_type_notation `#[feature(return_type_notation)]` 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.
#110963 opened Apr 28, 2023 bycompiler-errors
"left.extend_from_slice(right.strip_prefix(&mut left[n..]).unwrap())" doesn't compile A-borrow-checker Area: The borrow checker A-lifetimes Area: Lifetimes / regions A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. NLL-polonius Issues related for using Polonius in the borrow checker T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#110362 opened Apr 15, 2023 bysafinaskar
"&mut v[v[0]..]" doesn't compile A-borrow-checker Area: The borrow checker A-lifetimes Area: Lifetimes / regions A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. NLL-polonius Issues related for using Polonius in the borrow checker T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#110351 opened Apr 15, 2023 bysafinaskar
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 byQuineDot
closures accept ill-formed inputs A-borrow-checker Area: The borrow checker A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. NLL-sound Working towards the "invalid code does not compile" goal T-types Relevant to the types team, which will review and decide on the PR/issue.
#104478 opened Nov 16, 2022 byaliemjay
overly restrictive closure borrow-checking A-borrow-checker Area: The borrow checker A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. NLL-complete Working towards the "valid code works" goal T-types Relevant to the types team, which will review and decide on the PR/issue.
#104477 opened Nov 16, 2022 byaliemjay
Can't return reference to passed-in referent that is assigned in a loop A-borrow-checker Area: The borrow checker A-control-flow Area: Control flow A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug. fixed-by-polonius Compiling with `-Zpolonius` fixes this issue. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#97901 opened Jun 8, 2022 byjonhoo
[NLL] No "expected ..., found ..." in diagnostics A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#97267 opened May 22, 2022 byjackh726
[NLL] "'static requirement introduced here" note missing A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#97256 opened May 21, 2022 byjackh726
[NLL] "that is required by this bound" note missing A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#97253 opened May 21, 2022 byjackh726
[NLL] "so that ... will meet its required lifetime bounds" should point to RPIT, not statement A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#97252 opened May 21, 2022 byjackh726
Random lifetime may not live long enough from other part of the code A-incr-comp Area: Incremental compilation A-NLL Area: Non-lexical lifetimes (NLL) NLL-complete Working towards the "valid code works" goal P-medium Medium priority T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#96645 opened May 2, 2022 byDzenanJupic
[NLL] Improve error spans for regions-bounded-by-trait-requiring-static.rs ui test A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#96333 opened Apr 23, 2022 bymarmeladema
[NLL] Loss of span for consider adding an explicit lifetime bound suggestions A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#96332 opened Apr 23, 2022 bymarmeladema
[NLL] Lifetimes errors in a function can mask later errors in same function A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#96331 opened Apr 23, 2022 bymarmeladema
[NLL] Many errors generated instead of one with many notes A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#96278 opened Apr 21, 2022 bymarmeladema
[NLL] Duplicated errors A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#96211 opened Apr 19, 2022 bymarmeladema
[NLL] Loss of error codes for NLL errors A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) NLL-diagnostics Working towards the "diagnostic parity" goal T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#95687 opened Apr 5, 2022 byjackh726
"temporary value dropped while borrowed"-checker does not use NLL A-borrow-checker Area: The borrow checker A-NLL Area: Non-lexical lifetimes (NLL)
#93163 opened Jan 21, 2022 byJonasAlaif
Implement "intersection lifetimes" to improve diagnostics and accept rare impl trait cases A-diagnostics Area: Messages for errors, warnings, and lints A-NLL Area: Non-lexical lifetimes (NLL) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#89394 opened Sep 30, 2021 byoli-obk
