sorbet-runtime 0.5.10754 → 0.5.10761

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: dc0224a19fc63681cdbed701daa40eb3b016bac0501b8a44b4a2e870b5b509de
-  data.tar.gz: f42356ede5a9c0eaff0ee1368c8e0a53dfd67f6b7e5bebe3cb5ad3102a4235f9
+  metadata.gz: 02d76dec776e380eb4d869a9026a957c62c23bdf337f6b9b5d64e4cda2f65631
+  data.tar.gz: 687cf5d4b5f5eddd55570f480e7a798349d48d1eea5b8a00fa1d630af60a7d9a
 SHA512:
-  metadata.gz: b1be1d05220309651fcc3ae369ff0398325616d8876597b5cfb9bf229bc678eab276bccf7898d6bef8512b1dbeca2d08fbb4ee245e08e61387bcfec4b42c93bf
-  data.tar.gz: e3b262f59f6c380febd7103d2c881f4fc606135038ee00b348bd313faf60217b8eac8e357bcbb97753ce7c63ae4550eeab53e5b424bed2dbc609d76b432387c7
+  metadata.gz: eb43f6f94999b2fac97438701e7d7ca57b49bb443db7677d45e66738be65d45fe947973bb7a9d4f204db63efab60b7d873998c0685755473277c95f25eabace5
+  data.tar.gz: 4b1c2efb53beb2d4d1fabe43ff8242d2bdf24b6b5d192db643f7caee193ab99da34c8d8ad70dc61b6444b80743f7f5cd75ac66832a253f89fb3a4755d2dffc21

data/lib/sorbet-runtime.rb

@@ -43,7 +43,6 @@ require_relative 'types/types/self_type'
 require_relative 'types/types/simple'
 require_relative 'types/types/t_enum'
 require_relative 'types/types/type_parameter'
-require_relative 'types/types/typed_array'
 require_relative 'types/types/typed_enumerator'
 require_relative 'types/types/typed_enumerator_chain'
 require_relative 'types/types/typed_enumerator_lazy'
@@ -83,6 +82,9 @@ require_relative 'types/private/retry'
 require_relative 'types/utils'
 require_relative 'types/boolean'
 
+# Depends on types/utils
+require_relative 'types/types/typed_array'
+
 # Props dependencies
 require_relative 'types/private/abstract/data'
 require_relative 'types/private/mixins/mixins'

data/lib/types/_types.rb

@@ -279,9 +279,9 @@ module T
   module Array
     def self.[](type)
       if type.is_a?(T::Types::Untyped)
-        T::Types::TypedArray::Untyped.new
+        T::Types::TypedArray::Untyped::Private::INSTANCE
       else
-        T::Types::TypedArray.new(type)
+        T::Types::TypedArray::Private::Pool.type_for_module(type)
       end
     end
   end

data/lib/types/private/methods/decl_builder.rb

@@ -79,7 +79,7 @@ module T::Private::Methods
         raise BuilderError.new("You can't call .void after calling .returns.")
       end
 
-      decl.returns = T::Private::Types::Void.new
+      decl.returns = T::Private::Types::Void::Private::INSTANCE
 
       self
     end

data/lib/types/private/types/void.rb

@@ -3,32 +3,38 @@
 
 # A marking class for when methods return void.
 # Should never appear in types directly.
-class T::Private::Types::Void < T::Types::Base
-  ERROR_MESSAGE = "Validation is being done on an `Void`. Please report this bug at https://github.com/sorbet/sorbet/issues"
+module T::Private::Types
+  class Void < T::Types::Base
+    ERROR_MESSAGE = "Validation is being done on an `Void`. Please report this bug at https://github.com/sorbet/sorbet/issues"
 
-  # The actual return value of `.void` methods.
-  #
-  # Uses `module VOID` because this gives it a readable name when someone
-  # examines it in Pry or with `#inspect` like:
-  #
-  #     T::Private::Types::Void::VOID
-  #
-  module VOID
-    freeze
-  end
+    # The actual return value of `.void` methods.
+    #
+    # Uses `module VOID` because this gives it a readable name when someone
+    # examines it in Pry or with `#inspect` like:
+    #
+    #     T::Private::Types::Void::VOID
+    #
+    module VOID
+      freeze
+    end
 
-  # overrides Base
-  def name
-    "<VOID>"
-  end
+    # overrides Base
+    def name
+      "<VOID>"
+    end
 
-  # overrides Base
-  def valid?(obj)
-    raise ERROR_MESSAGE
-  end
+    # overrides Base
+    def valid?(obj)
+      raise ERROR_MESSAGE
+    end
+
+    # overrides Base
+    private def subtype_of_single?(other)
+      raise ERROR_MESSAGE
+    end
 
-  # overrides Base
-  private def subtype_of_single?(other)
-    raise ERROR_MESSAGE
+    module Private
+      INSTANCE = Void.new.freeze
+    end
   end
 end

data/lib/types/types/simple.rb

@@ -60,6 +60,13 @@ module T::Types
 
     module Private
       module Pool
+        CACHE_FROZEN_OBJECTS = begin
+          ObjectSpace::WeakMap.new[1] = 1
+          true # Ruby 2.7 and newer
+                               rescue ArgumentError # Ruby 2.6 and older
+                                 false
+        end
+
         @cache = ObjectSpace::WeakMap.new
 
         def self.type_for_module(mod)
@@ -83,12 +90,14 @@ module T::Types
           end
 
           # Unfortunately, we still need to check if the module is frozen,
-          # since WeakMap adds a finalizer to the key that is added
+          # since on 2.6 and older WeakMap adds a finalizer to the key that is added
           # to the map, so that it can clear the map entry when the key is
           # garbage collected.
           # For a frozen object, though, adding a finalizer is not a valid
           # operation, so this still raises if `mod` is frozen.
-          @cache[mod] = type unless mod.frozen?
+          if CACHE_FROZEN_OBJECTS || (!mod.frozen? && !type.frozen?)
+            @cache[mod] = type
+          end
           type
         end
       end

data/lib/types/types/typed_array.rb

@@ -26,6 +26,31 @@ module T::Types
       Array.new(*T.unsafe(args))
     end
 
+    module Private
+      module Pool
+        CACHE_FROZEN_OBJECTS = begin
+          ObjectSpace::WeakMap.new[1] = 1
+          true # Ruby 2.7 and newer
+                               rescue ArgumentError # Ruby 2.6 and older
+                                 false
+        end
+
+        @cache = ObjectSpace::WeakMap.new
+
+        def self.type_for_module(mod)
+          cached = @cache[mod]
+          return cached if cached
+
+          type = TypedArray.new(mod)
+
+          if CACHE_FROZEN_OBJECTS || (!mod.frozen? && !type.frozen?)
+            @cache[mod] = type
+          end
+          type
+        end
+      end
+    end
+
     class Untyped < TypedArray
       def initialize
         super(T.untyped)
@@ -34,6 +59,10 @@ module T::Types
       def valid?(obj)
         obj.is_a?(Array)
       end
+
+      module Private
+        INSTANCE = Untyped.new.freeze
+      end
     end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.10754
+  version: 0.5.10761
 platform: ruby
 authors:
 - Stripe
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-04-07 00:00:00.000000000 Z
+date: 2023-04-08 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest