Skip to content

Bound recursive array and tuple type printing - #64694

Draft
Ryan Cavanaugh (RyanCavanaugh) with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-recursive-type-printer
Draft

Ryan Cavanaugh (RyanCavanaugh) with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-recursive-type-printer

Conversation

Copilot AI commented Oct 8, 2026 •

Copy link
Copy Markdown
Contributor

Recursive generic types can produce a fresh array or tuple at every level, evading the type printer’s exact-cycle check. Printing them can overflow the stack or affect later type checking.

  • Change: Bound active array/tuple serialization depth independently of exact-cycle detection.
  • Coverage: Add regressions for noErrorTruncation diagnostics, declaration emit, and a subsequent diagnostic.

Co-authored-by: RyanCavanaugh <6685088+RyanCavanaugh@users.noreply.github.com>
Copilot AI changed the title [WIP] Fix type printer recursion issue with nested array/tuple types Bound recursive array and tuple type printing Oct 8, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Type printer recurses without limit into nested array/tuple types (stack overflow; can leave later types any)

2 participants