sorbet-runtime 0.5.5820 → 0.5.5841

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8c19b71f3236547819e70d9a0f9682949196ae0b62b8b179071a36428b293972
-  data.tar.gz: 4b16911c2dbc5794643b817ce516e8922fec7c842655971d6874a7cf0239be78
+  metadata.gz: 02df0e4234d0887f7584ed03f2efd4ceabe7cd2aad902a198617207b02d92a6a
+  data.tar.gz: 3cef81d70c297f03d9b6307c32c7c6b079e120ac5a92681ff371bb3d010205b8
 SHA512:
-  metadata.gz: 6bf50afd1be733252dfc627d8a33c38c601f5eaf06cc46f8da7bf47f17ee37094852342f708ca6698acb6550c05e74f6fe096ebbe7bdc78a4f62153125df12ab
-  data.tar.gz: 020b024b9eac659d2274707f1d2569ed59658edc5d1692c86eb8d07c97c80007ae1a58da49e50d9359a3f880e3a96d6487afb1ae0a93f6cbb01fd5dcec9126e5
+  metadata.gz: 6e0cb83492e866202da027d8f8a5800a52fb7f0e3e4353952ec0250b28122704ad1bc5317ebd30b388df247d0a353afa239393aeafe3421d100d81a5f5456c81
+  data.tar.gz: 6a8b52a3830af73aec07c37bd6afba1081fbd47fbe0d37601803a1ccd73fa1edd08d9fbb233bb9c0556d81baff8571f791e723e7c84f117622c5fcf42ec91e40

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/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.5820
+  version: 0.5.5841
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-07-15 00:00:00.000000000 Z
+date: 2020-07-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest