Skip to content

Refactor type hierarchy#1162

Draft
apiology wants to merge 1376 commits intocastwide:v0.59from
apiology:type_hierarchy
Draft

Refactor type hierarchy#1162
apiology wants to merge 1376 commits intocastwide:v0.59from
apiology:type_hierarchy

Conversation

@apiology
Copy link
Contributor

Let's see if we can make room for a first-class intersection type

Use our generated RBS signature from parameters as a key to combine
method signatures from RBS/YARD pins.

This is closer to what RBS does than the current technique of using
the arity alone, and fixes a key degenerate case in Integer#+ revealed
by updated definitions used by recently released RBS gems
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants