sorbet-runtime 0.5.5753 → 0.5.5756

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1546903bc807b281e7c386c68356cc446ed39aaeb018964c6e8a2c73bbbd5329
-  data.tar.gz: 309bfe9b616d290d09fc3d02f3f41738d7d7c8de75de0ffe383c31028307e32d
+  metadata.gz: bd7293e2ecb1fff8bfffe575f54692501e6e674a2262b48a29292efbbfd28c89
+  data.tar.gz: 2af039a64a0a3a40215b07254fd9449d735534791bd19951fb66258e47d3e31f
 SHA512:
-  metadata.gz: d2a7f88e1c95586f8dd3a0ea905cb7096bc1650e5a4263fdfe3da49d0bb28eb4788352cf39e96f7f5528563f2a009745ba38cee2aebcf70dde60a5eddba34019
-  data.tar.gz: 5de061d6e4a138d93328f24170d9b9b3edcd542e0a5042eb37a6b478228775b7290712d769c5f32a01c04076a32d115cd0cf56b322c64d1b25505002bc3db7f5
+  metadata.gz: 5cb769579394ffc85ef9a94504667ce7570799324c732894d74e10a4aa53cd6aea12452357b21110dd2267113765ad646b7760d5e2e9d78d31ea8392df55864a
+  data.tar.gz: 549bb245c5451836ad92de7f74882c82426722bc029afd8ef828ae3cbad6f19d22cfe0373dcddbbc3d84905a2558369bda5a4e1ef151cafe2c14a501787a810a

data/lib/types/types/typed_enumerable.rb

@@ -50,7 +50,11 @@ module T::Types
         # Enumerators can be unbounded: see `[:foo, :bar].cycle`
         return true
       when Range
-        @type.valid?(obj.first) && @type.valid?(obj.last)
+        # A nil beginning or a nil end does not provide any type information. That is, nil in a range represents
+        # boundlessness, it does not express a type. For example `(nil...nil)` is not a T::Range[NilClass], its a range
+        # of unknown types (T::Range[T.untyped]).
+        # Similarly, `(nil...1)` is not a `T::Range[T.nilable(Integer)]`, it's a boundless range of Integer.
+        (obj.begin.nil? || @type.valid?(obj.begin)) && (obj.end.nil? || @type.valid?(obj.end))
       when Set
         obj.each do |item|
           return false unless @type.valid?(item)
@@ -124,7 +128,13 @@ module T::Types
         inferred_val = type_from_instances(obj.values)
         T::Hash[inferred_key, inferred_val]
       when Range
-        T::Range[type_from_instances([obj.first, obj.last])]
+        # We can't get any information from `NilClass` in ranges (since nil is used to represent boundlessness).
+        typeable_objects = [obj.begin, obj.end].compact
+        if typeable_objects.empty?
+          T::Range[T.untyped]
+        else
+          T::Range[type_from_instances(typeable_objects)]
+        end
       when Enumerator
         T::Enumerator[type_from_instances(obj)]
       when Set

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.5753
+  version: 0.5.5756
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-06-12 00:00:00.000000000 Z
+date: 2020-06-13 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest