New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Let union types work well with overloading #333

Open

soutaro opened this issue Mar 16, 2021 · 1 comment

Labels

Milestone

Owner

soutaro commented Mar 16, 2021 •

edited

Loading

Union types are not expanded automatically for overloading. This may result in an unexpected type error.

# @type var x: Integer | Float
x = 1
1 + x         # Cannot resolve overloading even `+` is defined for both Integer and Float

Reported in #331.

soutaro added the enhancement label

soutaro mentioned this issue

Cannot find compatible overloading of method * of type ::Integer #331

Closed

Owner Author

soutaro commented Mar 27, 2021

Related to the code in #332 (comment).

soutaro added this to the 2021-Q2 milestone

soutaro modified the milestones: 2021-Q2, 2021-Q3

ParadoxV5 mentioned this issue

A tiny followup for #1641’s oopsies ruby/rbs#1672

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment