1
93%
main: 93%

Ran 23 Jan 2026 07:50AM UTC

Files 90

Run time 1s

Badge

Embed ▾

Committed 23 Jan 2026 07:50AM UTC coverage: 92.636%. Remained the same

Job # 21278734649.1

Build Type

push

github

Committed by

web-flow

Commit Message

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
```

Run Details

8491 of 9166 relevant lines covered (92.64%)

1774.17 hits per line

type-ruby / t-ruby / 21278734649 / 1
93%
main: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 21278734649.1

type-ruby / t-ruby / 21278734649 / 1 93% main: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 21278734649.1

type-ruby / t-ruby / 21278734649 / 1
93%
main: 93%

README BADGES
x