Skip to content

Make tuple_insert_at preserve static part of types#15387

Merged
josevalim merged 1 commit into
elixir-lang:mainfrom
gldubc:tuple-insert-at-gradual-element
May 14, 2026
Merged

Make tuple_insert_at preserve static part of types#15387
josevalim merged 1 commit into
elixir-lang:mainfrom
gldubc:tuple-insert-at-gradual-element

Conversation

@gldubc
Copy link
Copy Markdown
Member

@gldubc gldubc commented May 14, 2026 •
edited
Loading

  • Preserve the statically known part of gradual element types passed to tuple_insert_at/3.
  • Union the dynamic tuple result with the static insertion result when the inserted type has both parts.

Closes #15384

@gldubc gldubc marked this pull request as ready for review May 14, 2026 17:44
@josevalim josevalim merged commit e7a5a66 into elixir-lang:main May 14, 2026
15 checks passed
@josevalim
Copy link
Copy Markdown
Member

josevalim commented May 14, 2026

💚 💙 💜 💛 ❤️

@gldubc gldubc deleted the tuple-insert-at-gradual-element branch May 15, 2026 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

insert_element implementation is dropping static type part

2 participants

@gldubc @josevalim