Skip to content

Date Reference Triage for 2022-12 #1519

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

Closed
25 tasks
github-actions bot opened this issue Dec 1, 2022 · 1 comment
Closed
25 tasks

Date Reference Triage for 2022-12 #1519

github-actions bot opened this issue Dec 1, 2022 · 1 comment

Comments

@github-actions
Copy link

github-actions bot commented Dec 1, 2022

Procedure

Each of these dates should be checked to see if the docs they annotate are up-to-date. Each date should be updated (in the Markdown file where it appears) to use the current month (December 2022), or removed if the docs it annotates are not expected to fall out of date quickly.

Please check off each date once a PR to update it (and, if applicable, its surrounding docs) has been merged. Please also mention that you are working on a particular set of dates so duplicate work is avoided.

Finally, once all the dates have been updated, please close this issue.

Dates

  • borrow_check/region_inference/member_constraints.md
    • line 97: 2021-10
  • diagnostics/translation.md
    • line 225: 2022-06
  • llvm-coverage-instrumentation.md
    • line 225: 2021-12
    • line 228: 2021-12
  • opaque-types-type-alias-impl-trait.md
    • line 18: 2021-01
  • queries/query-evaluation-model-in-detail.md
    • line 79: 2021-01
  • query.md
    • line 6: 2021-07
  • rustc-driver-getting-diagnostics.md
    • line 10: 2022-06
  • rustc-driver-interacting-with-the-ast.md
    • line 8: 2022-06
  • the-parser.md
    • line 3: 2021-01
  • thir.md
    • line 7: 2022-04
  • traits/chalk.md
    • line 4: 2022-05
  • type-inference.md
    • line 73: 2021-06
@camelid
Copy link
Member

camelid commented Jan 3, 2023

Superseded by #1539.

@camelid camelid closed this as completed Jan 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant