Labels

• bug fix

  This pull request is a bug fix
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• good first issue

  Fairly self-contained issue that is ideal as a first contribution
• internal

  Affects the CI, tests or refactorings only, not relevant to the end-user
• large
• support

  This issue raises a support question.
• topic: analysis

  Affects the Linter or VCG
• topic: API

  Affects the user-facing API
• topic: bazel

  affects the bazelizing of the repository
• topic: core

  Affects lexer/parser/infrastructure
• topic: LRM

  Affects the Language Reference Manual
• topic: packaging

  Affects PyPI packages
• wontfix

  This will not be worked on