calling #each on obj typed with record yields |bot, bot| types
Open
Nobody has claimed this yet.
- Dominant language
- Ruby
- Stars
- 2.2k
- Forks
- 256
- Avg merge
- 6d 17h
- Merged PRs (30d)
- 37
Description
# RBS
# type rec = {foo: String, bar: Integer }
# and having variable a typed as rec
a.each do |x, y|
# x and y appear as bot
I'm also assuming narrowing on key won't also work (but that's more of a feature request perhaps):
a.each do |x, y|
if x == :foo
# then y is a stringContributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the RBS record example and inspect how #each is typed for the record value. Clarify whether the goal is useful key/value types, key-based narrowing, or both; done should be defined by the expected types for x and y in the example.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- ruby
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100