ignored lifetime constraints in type annotations #115175

Activity

1. rustbot

   added

   needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triagingThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging

   on Aug 24, 2023
2. aliemjay

   added

   T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

   regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.Performance or correctness regression from one stable version to another.

   A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)

   C-bugCategory: This is a bug.Category: This is a bug.

   NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

   T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.

   on Aug 24, 2023
3. rustbot

   added

   I-prioritizeIssue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}Issue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}

   on Aug 24, 2023
4. aliemjay

   removed

   needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triagingThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging

   on Aug 24, 2023
5. apiraino commented on Aug 25, 2023

   

   apiraino

   on Aug 25, 2023

   Contributor

   More actions

   bisected to

   commit[0] 2022-06-06: Auto merge of #97730 - flip1995:clippyup, r=Manishearth
     commit[1] 2022-06-06: Auto merge of #97809 - matthiaskrgr:rollup-ajyvjd3, r=matthiaskrgr
     commit[2] 2022-06-07: Auto merge of #97801 - RalfJung:miri, r=RalfJung
     commit[3] 2022-06-07: Auto merge of #95565 - jackh726:remove-borrowck-mode, r=nikomatsakis
     commit[4] 2022-06-07: Auto merge of #97512 - scottmcm:add-coldcc, r=nagisa,lcnr
     commit[5] 2022-06-07: Auto merge of #97825 - Dylan-DPC:rollup-ya51k1k, r=Dylan-DPC
     commit[6] 2022-06-07: Auto merge of #97835 - Dylan-DPC:rollup-0ae3pwp, r=Dylan-DPC
   

   closest seems (unsurprisingly) #95565?
6. apiraino commented on Sep 12, 2023

   

   apiraino

   on Sep 12, 2023

   Contributor

   More actions

   WG-prioritization assigning priority (Zulip discussion).

   @rustbot label -I-prioritize +P-medium
7. rustbot

   added

   P-mediumMedium priorityMedium priority

   and removed

   I-prioritizeIssue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}Issue needs a team member to assess the impact. Will be replaced by P-{low,medium,high,critical}

   on Sep 12, 2023
8. lengyijun commented on Oct 21, 2025

   

   lengyijun

   on Oct 21, 2025 · Hidden as off-topic

   show commentMore actions
9. lcnr

   added

   I-unsoundIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/SoundnessIssue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

   and removed

   NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goal

   on Nov 11, 2025
10. lcnr

    added this to T-types unsound issueson Nov 11, 2025
11. lcnr

    moved this to open/unblocked in T-types unsound issueson Nov 11, 2025
12. theemathas commented on Nov 12, 2025

    

    theemathas

    on Nov 12, 2025

    Contributor

    More actions

    I've managed to cause actual UB based on this weirdness, and filed a separate issue at #148854
13. rust-bors

    added 2 commits that reference this issue on Feb 12, 2026

    Auto merge of #149389 - ShoyuVanilla:local-region-param-wf, r=lcnr

    ...

    This issue will close once commit 3b311a7 is merged into the 'main' branch.

    3b311a7

    Auto merge of #149389 - ShoyuVanilla:local-region-param-wf, r=lcnr

    ...

    This issue will close once commit 29fa07e is merged into the 'main' branch.

    29fa07e
14. rust-bors

    closed this as completedin 29fa07eon Feb 14, 2026
15. github-project-automation

    moved this from open/unblocked to new solver everywhere in T-types unsound issueson Feb 14, 2026
16. lcnr

    moved this from new solver everywhere to Completed in T-types unsound issueson Feb 14, 2026
17. github-actions

    added a commit that references this issue on Feb 15, 2026

    Auto merge of #149389 - ShoyuVanilla:local-region-param-wf, r=lcnr

    ...

    This issue will close once commit 13963a7 is merged into the 'master' branch.

    13963a7