type-ruby / t-ruby

93%

push

github

Add tuple rest element support (#44) (#50)

Add support for tuple rest elements using the syntax `[Type, *Type[]]`.
This allows tuples with variable-length trailing elements.

Features:
- New `TupleRestElement` IR node for rest elements
- Parser support for `*Type[]` and `*Array<Type>` syntax
- Validation: rest must be at end, only one rest allowed
- RBS fallback: converts to union array (RBS doesn't support tuple rest)
- LSP: tuple type completions and hover support

Example:
```ruby
def get_values(): [String, *Integer[]]
  ["header", 1, 2, 3]
end
```

40 of 43 new or added lines in 3 files covered. (93.02%)

8491 of 9166 relevant lines covered (92.64%)

1774.17 hits per line