sorbet-runtime 0.5.5742 → 0.5.5767

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f649780747495e0332ee5cf00571dc5357c5c54dbc9c6fd01a73c0ac3dfab255
-  data.tar.gz: c03ae8d3d15a13144360e52e09f4bb8587ab206546308507a31792d38dff0f64
+  metadata.gz: d621194ff7ce32491fc0ea7268abf3a4685d7406dedf775b3c8ecfe3e28d95c7
+  data.tar.gz: e6e1419051f9159d4f3de20fe2f359aae614d233a54b70cb1a355c94de1e2d60
 SHA512:
-  metadata.gz: 9f6cdfdd1162fbc9a952cb18c3612545bc9d96d5d770024e04d450d5a3aadfe85e0bf7381b463c78873c4b28680ebce982f674009b437456bc676c526da64efa
-  data.tar.gz: 59145d4541bc522d427f4666affb3930afb677aa68dd1eef58e1793c75e1dc9593828efd7fec609fdc616ba598a4b572fafc6cb0959be5e362808efb9c3da797
+  metadata.gz: f20b45d4b46b83b2c7ce97ff5b4c2931e767f8f80f1ce606ab8854ba061dba0d870b5aa4274f085fbe8806da7c41c001e3012f6afc9b07699e5c89eda3958582
+  data.tar.gz: 85e638786cb74ba22744bc07977ca31e17e2a9a7c95c2d39b2c49cd4d5d6d971aac5a9e3d47f3ae2e297f792c508d03798aff7bc3dc77904bdc6fafad4c95e4f

data/lib/types/props/decorator.rb

@@ -188,7 +188,7 @@ class T::Props::Decorator
     .returns(T.untyped)
     .checked(:never)
   end
-  def foreign_prop_get(instance, prop, foreign_class, rules=props[prop.to_sym], opts={})
+  def foreign_prop_get(instance, prop, foreign_class, rules=prop_rules(prop), opts={})
     return if !(value = prop_get(instance, prop, rules))
     T.unsafe(foreign_class).load(value, {}, opts)
   end

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.5742
+  version: 0.5.5767
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-06-10 00:00:00.000000000 Z
+date: 2020-06-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest