Skip to content

Show a tuple as an Array when elements are pushed to it - #502

Open
pvcresin wants to merge 1 commit into
ruby:masterfrom
pvcresin:show-extended-tuple-as-array
Open

Show a tuple as an Array when elements are pushed to it#502
pvcresin wants to merge 1 commit into
ruby:masterfrom
pvcresin:show-extended-tuple-as-array

Conversation

@pvcresin

@pvcresin pvcresin commented Nov 13, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor 
def foo(arr)
  result = []
  arr.each {|x| result << x * 2 }
  result
end

This was inferred as -> [] because Array#<< only adds the pushed type to the unified element of the tuple. Now a tuple is shown as Array[...] when its unified element has a type that comes from none of the tuple elements.

This resolves scenario/known-issues/accumulator-in-block.rb, so it is moved to scenario/array/.

@pvcresin
Show a tuple as an Array when elements are pushed to it
76afa27 
`result = []; arr.each {|x| result << x }; result` was shown as `[]`
because the pushed types only went to the unified element of the tuple.
Show it as `Array[...]` when the unified element has a type that comes
from none of the tuple elements.

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

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@pvcresin