Skip to content

Conversation

apiology
Copy link
Contributor

@apiology apiology commented Oct 9, 2025

Cases now at least partially handled:

  • if foo.nil?
  • if foo
  • unless foo.nil? || foo
  • if unrelated && foo
  • break if foo.nil?
  • return foo unless !foo
  • return if foo.nil?
  • foo = nilable || not_nilable
  • foo unless foo.nil? || foo
  • foo if unrelated && foo
  • while foo
  • foo unless unrelated || repr.nil?

Includes for convenience:

@apiology apiology marked this pull request as draft October 9, 2025 13:03
@apiology apiology force-pushed the flow_sensitive_typing_2_0 branch from 0d652a1 to 9aea987 Compare October 10, 2025 11:15
@apiology apiology force-pushed the flow_sensitive_typing_2_0 branch from 352d8d7 to 82e5bbf Compare October 11, 2025 19:49
@apiology apiology marked this pull request as ready for review October 11, 2025 19:55
@apiology
Copy link
Contributor Author

apiology commented Oct 11, 2025

I'm pulling good bits out of apiology#12 - feel free to merge this PR at any point that it's green, I'll probably add more stuff over time while I improve the other PR.

@apiology apiology force-pushed the flow_sensitive_typing_2_0 branch from 546b70c to 33b7c2d Compare October 11, 2025 22:58
@apiology apiology force-pushed the flow_sensitive_typing_2_0 branch from 33b7c2d to 9cba783 Compare October 11, 2025 23:21
@apiology apiology force-pushed the flow_sensitive_typing_2_0 branch from d3e16c8 to 5d1e9ae Compare October 12, 2025 16:22
This would have failed specs except there was already another
'pending' later.  Wonder why RSpec doesn't figure this out itself and
complain...
@apiology apiology force-pushed the flow_sensitive_typing_2_0 branch from eb5a85b to 6f5d60a Compare October 12, 2025 20:04
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.

1 participant