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

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 by aliemjay
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 by aliemjay
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 by compiler-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 by safinaskar
"&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 by safinaskar
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 by QuineDot
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 by aliemjay
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 by aliemjay
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 by jonhoo
[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 by jackh726
[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 by jackh726
[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 by jackh726
[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 by jackh726
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 by DzenanJupic
[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 by marmeladema
[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 by marmeladema
[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 by marmeladema
[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 by marmeladema
[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 by marmeladema
[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 by jackh726
nll insufficiently checks wf bounds A-NLL Area: Non-lexical lifetimes (NLL) C-bug Category: This is a bug.
#95275 opened Mar 24, 2022 by lcnr
"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 by JonasAlaif
Member constraints do not report all their information A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions A-NLL Area: Non-lexical lifetimes (NLL) A-suggestion-diagnostics Area: Suggestions generated by the compiler applied by `cargo fix` D-terse Diagnostics: An error or lint that doesn't give enough information about the problem at hand. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#89595 opened Oct 6, 2021 by oli-obk
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 by oli-obk
coercion becomes order dependent for higher-ranked functions A-lazy-normalization Area: Lazy normalization (tracking issue: #60471) A-NLL Area: Non-lexical lifetimes (NLL) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
#73154 opened Jun 8, 2020 by nikomatsakis
ProTip! Type g i on any issue or pull request to go back to the issue listing page.