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

Make `NilClass#!` a special method #539

Merged

soutaro merged 1 commit into master from fix-flow-sensitive-typing

Apr 24, 2022

Owner

soutaro commented Apr 24, 2022 •

edited

Loading

This allows the following code to type check.

doc = foo()                             # doc: String?
doc = bar() unless !doc || doc.empty?   # !doc may call NilClass#! which prevents flow-sensitive typing working

This PR makes NilClass#! special method.


          Make NilClass#! a special method

63dc8a3

soutaro merged commit 8a264b3 into master

soutaro deleted the fix-flow-sensitive-typing branch

April 24, 2022 13:06

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

Labels

None yet