sorbet-runtime 0.5.5821 → 0.5.5843

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 395339869f44abef3e3a208a58600699497b95e687e97374f8475063d554ab63
-  data.tar.gz: e511c580b9d55d1af5c4eda6b2de284cc65f7521266f1558e49e3250a0d2c638
+  metadata.gz: 4aa66cf13c6570f24fd5c7d394119fd49ce3bb595f85cc2cf2584232d3cb9ff4
+  data.tar.gz: b223ba693cdb5e2795f3adbfab10a7b1fc127457821011b26344510ada3495d2
 SHA512:
-  metadata.gz: b21d30be75384857a8b670f22af603842dc16a5ad38fdd8076445b44fe1741c34c7225eb9c8cc37168316cdd27bc780baafa1ae980d96433ca3888b768d8a1f8
-  data.tar.gz: 1eeec2fed0a8676f20ab96f5c9aa19ffe2bb52866cab3a8fd18af4c038a1d78de55e73297cdabbe17eba55752e2e9288f7e8e05f3be181baf1391ea5ed61c18e
+  metadata.gz: a58a518764c9fb4309a14f9174cf17080e4e5fca191d189c5562a3aad610f0c153e0a334b9ce6ce1aa78cd7906f52336a8795a1a3f1e513ce7c972a934605b33
+  data.tar.gz: 6f638789b8c7cdece2c89b82d7f49687dcc7183b04b5a3be85e655a809b5f97f2a7f8969a34ddf12016d52de5444d882cf50a7dca61df728e32ed8b1855391d1

data/lib/types/_types.rb

@@ -37,12 +37,12 @@ module T
   # Matches any object. In the static checker, T.untyped allows any
   # method calls or operations.
   def self.untyped
-    T::Types::Untyped.new
+    T::Types::Untyped::Private::INSTANCE
   end
 
   # Indicates a function never returns (e.g. "Kernel#raise")
   def self.noreturn
-    T::Types::NoReturn.new
+    T::Types::NoReturn::Private::INSTANCE
   end
 
   # T.all(<Type>, <Type>, ...) -- matches an object that has all of the types listed
@@ -62,12 +62,12 @@ module T
 
   # Matches `self`:
   def self.self_type
-    T::Types::SelfType.new
+    T::Types::SelfType::Private::INSTANCE
   end
 
   # Matches the instance type in a singleton-class context
   def self.attached_class
-    T::Types::AttachedClassType.new
+    T::Types::AttachedClassType::Private::INSTANCE
   end
 
   # Matches any class that subclasses or includes the provided class

data/lib/types/profile.rb

@@ -10,7 +10,11 @@ module T::Profile
     def typecheck_duration_estimate
       total_typechecks = typecheck_samples * SAMPLE_RATE + (SAMPLE_RATE - typecheck_sample_attempts)
       typechecks_measured = typecheck_samples * SAMPLE_RATE
-      typecheck_duration * SAMPLE_RATE * 1.0 * total_typechecks / typechecks_measured
+      if typechecks_measured.positive?
+        typecheck_duration * SAMPLE_RATE * 1.0 * total_typechecks / typechecks_measured
+      else
+        0.0
+      end
     end
 
     def typecheck_count_estimate

data/lib/types/props/constructor.rb

@@ -17,11 +17,16 @@ module T::Props::Constructor::DecoratorMethods
   # checked(:never) - O(runtime object construction)
   sig {params(instance: T::Props::Constructor, hash: T::Hash[Symbol, T.untyped]).returns(Integer).checked(:never)}
   def construct_props_without_defaults(instance, hash)
-    @props_without_defaults&.count do |p, setter_proc|
+    # Use `each_pair` rather than `count` because, as of Ruby 2.6, the latter delegates to Enumerator
+    # and therefore allocates for each entry.
+    result = 0
+    @props_without_defaults&.each_pair do |p, setter_proc|
       begin
         val = hash[p]
         instance.instance_exec(val, &setter_proc)
-        val || hash.key?(p)
+        if val || hash.key?(p)
+          result += 1
+        end
       rescue TypeError, T::Props::InvalidValueError
         if !hash.key?(p)
           raise ArgumentError.new("Missing required prop `#{p}` for class `#{instance.class.name}`")
@@ -29,6 +34,7 @@ module T::Props::Constructor::DecoratorMethods
           raise
         end
       end
-    end || 0
+    end
+    result
   end
 end

data/lib/types/props/weak_constructor.rb

@@ -30,14 +30,16 @@ module T::Props::WeakConstructor::DecoratorMethods
   # checked(:never) - O(runtime object construction)
   sig {params(instance: T::Props::WeakConstructor, hash: T::Hash[Symbol, T.untyped]).returns(Integer).checked(:never)}
   def construct_props_without_defaults(instance, hash)
-    @props_without_defaults&.count do |p, setter_proc|
+    # Use `each_pair` rather than `count` because, as of Ruby 2.6, the latter delegates to Enumerator
+    # and therefore allocates for each entry.
+    result = 0
+    @props_without_defaults&.each_pair do |p, setter_proc|
       if hash.key?(p)
         instance.instance_exec(hash[p], &setter_proc)
-        true
-      else
-        false
+        result += 1
       end
-    end || 0
+    end
+    result
   end
 
   # Set values for all props that have defaults. Use the default if and only if
@@ -49,14 +51,17 @@ module T::Props::WeakConstructor::DecoratorMethods
   # checked(:never) - O(runtime object construction)
   sig {params(instance: T::Props::WeakConstructor, hash: T::Hash[Symbol, T.untyped]).returns(Integer).checked(:never)}
   def construct_props_with_defaults(instance, hash)
-    @props_with_defaults&.count do |p, default_struct|
+    # Use `each_pair` rather than `count` because, as of Ruby 2.6, the latter delegates to Enumerator
+    # and therefore allocates for each entry.
+    result = 0
+    @props_with_defaults&.each_pair do |p, default_struct|
       if hash.key?(p)
         instance.instance_exec(hash[p], &default_struct.setter_proc)
-        true
+        result += 1
       else
         default_struct.set_default(instance)
-        false
       end
-    end || 0
+    end
+    result
   end
 end

data/lib/types/types/attached_class.rb

@@ -29,5 +29,9 @@ module T::Types
         false
       end
     end
+
+    module Private
+      INSTANCE = AttachedClassType.new.freeze
+    end
   end
 end

data/lib/types/types/fixed_array.rb

@@ -19,8 +19,18 @@ module T::Types
 
     # @override Base
     def valid?(obj)
-      obj.is_a?(Array) && obj.length == @types.length &&
-        obj.zip(@types).all? {|item, type| type.valid?(item)}
+      if obj.is_a?(Array) && obj.length == @types.length
+        i = 0
+        while i < @types.length
+          if !@types[i].valid?(obj[i])
+            return false
+          end
+          i += 1
+        end
+        true
+      else
+        false
+      end
     end
 
     # @override Base

data/lib/types/types/fixed_hash.rb

@@ -19,15 +19,8 @@ module T::Types
     # @override Base
     def valid?(obj)
       return false unless obj.is_a?(Hash)
-
-      @types.each do |key, type|
-        return false unless type.valid?(obj[key])
-      end
-
-      obj.each_key do |key|
-        return false unless @types[key]
-      end
-
+      return false if @types.any? {|key, type| !type.valid?(obj[key])}
+      return false if obj.any? {|key, _| !@types[key]}
       true
     end
 

data/lib/types/types/noreturn.rb

@@ -21,5 +21,9 @@ module T::Types
     private def subtype_of_single?(other)
       true
     end
+
+    module Private
+      INSTANCE = NoReturn.new.freeze
+    end
   end
 end

data/lib/types/types/self_type.rb

@@ -27,5 +27,9 @@ module T::Types
           false
       end
     end
+
+    module Private
+      INSTANCE = SelfType.new.freeze
+    end
   end
 end

data/lib/types/types/union.rb

@@ -44,11 +44,7 @@ module T::Types
 
     # @override Base
     def valid?(obj)
-      @types.each do |type|
-        return true if type.valid?(obj)
-      end
-
-      false
+      @types.any? {|type| type.valid?(obj)}
     end
 
     # @override Base

data/lib/types/types/untyped.rb

@@ -21,5 +21,9 @@ module T::Types
     private def subtype_of_single?(other)
       true
     end
+
+    module Private
+      INSTANCE = Untyped.new.freeze
+    end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.5821
+  version: 0.5.5843
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-07-16 00:00:00.000000000 Z
+date: 2020-07-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest