Repository navigation

All pull requests

Labels (13)Milestones (2)New pull request

Open

(41)

Closed

(1,901)

Resolve self and instance of intersection members to the intersection
#2343HoneyryderChuck opened Oct 23, 2026
Combine method types of intersection members
#2342HoneyryderChuck opened Oct 23, 2026
Allow narrowing the type of instance variables of parents
#2341HoneyryderChuck opened Oct 23, 2026
Type rest params of overloaded methods per overload
#2340HoneyryderChuck opened Oct 23, 2026
Narrow tuple unions through their elements
#2339HoneyryderChuck opened Oct 23, 2026
Fix splatted tuples checked against an array of the tuple
#2338HoneyryderChuck opened Oct 23, 2026
Support type aliases as module self types
#2337HoneyryderChuck opened Oct 23, 2026
1
add type narrowing for obj.class < klass
#2336HoneyryderChuck opened Oct 22, 2026
Accept nil as a splat argument
#2335apiology opened Oct 21, 2026
Check splatted tuple arguments against their tuple type
#2334apiology opened Oct 21, 2026
Answer the interaction requests in the master
#2332soutaro opened Oct 17, 2026Owner
Fork the typecheck workers again when RBS files change
#2331soutaro opened Oct 15, 2026Owner
perf: fix performance when applying large numbers of type unions
#2329HoneyryderChuck opened Oct 7, 2026
narrow record types on case-when statements
#2328HoneyryderChuck opened Oct 7, 2026
narrow type inside a case-when statement
#2327HoneyryderChuck opened Oct 7, 2026
Support anonymous rest/keyword-rest argument forwarding (*, **)
#2318marshall-lee opened Sep 26, 2026
Narrow union types on eql? and equal?
#2280sferik opened Aug 27, 2026Contributor
Type check Data.define and Struct.new block bodies as class definitions
#2264svyatov opened Aug 14, 2026
Share method entries between shapes via RBS Method identity
#2248soutaro opened Jul 9, 2026Owner
Optimize subtyping cache and type object interning
#2247soutaro opened Jul 9, 2026Owner
Report type check progress to master even when a worker job fails
#2244soutaro opened Jul 2, 2026Owner
Add the %a{warning: ...} annotation in
#2237sampersand opened Jun 9, 2026
1
Skip re-checking files unaffected by a type change
#2235tk0miya opened Jun 6, 2026Contributor
Include inline source files in --save-expectations
#2234ksss opened Jun 5, 2026Contributor2 tasks done
Return LocationLink for definition jumps and query definition
#2216soutaro opened Apr 24, 2026Owner Steep 2.1

Navigation Menu

Repository navigation

All pull requests

Resolve self and instance of intersection members to the intersection

Combine method types of intersection members

Allow narrowing the type of instance variables of parents

Type rest params of overloaded methods per overload

Narrow tuple unions through their elements

Fix splatted tuples checked against an array of the tuple

Support type aliases as module self types

add type narrowing for `obj.class < klass`

Accept nil as a splat argument

Check splatted tuple arguments against their tuple type

Answer the interaction requests in the master

Fork the typecheck workers again when RBS files change

perf: fix performance when applying large numbers of type unions

narrow record types on case-when statements

narrow type inside a case-when statement

Support anonymous rest/keyword-rest argument forwarding (`*`, `**`)

Narrow union types on `eql?` and `equal?`

Type check Data.define and Struct.new block bodies as class definitions

Share method entries between shapes via RBS Method identity

Optimize subtyping cache and type object interning

Report type check progress to master even when a worker job fails

Add the %a{warning: ...} annotation in

Skip re-checking files unaffected by a type change

Include inline source files in --save-expectations

Return LocationLink for definition jumps and query definition

Pull requests