sorbet-runtime 0.6.13192 → 0.6.13196

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: bf43d3cf4e297c8c2c814618b558777e99dad15ee9fdedaf1275adac6303b1ab
-  data.tar.gz: 9b454b18a90066a60aef190a683699dae158bf6e0d42be29b4314e3e5a28a072
+  metadata.gz: 5b6b772ecaa9f6ce7788173f15073e96d619a88d575c72c36701e0f33b2f7796
+  data.tar.gz: e986c62848ac7bef03f533753b233d151167c285dc1011023dfff4378c74ae0c
 SHA512:
-  metadata.gz: b5e5e921d5a506dabd5fe96e434a73723ec8105ac8f4d554379f2e82f265e965dfbeed04b04b1875f8f35520467bb35d41f8baf8dc6558d07068e1ece3f55af6
-  data.tar.gz: 145f14e022976650ccbed8a8abe9398970d687759833650185156e4e4156d91b7fd7b54ade90a86c7be2a916b608880ae739d1d8473e629c29714c1330a33b6b
+  metadata.gz: 15840ef1936591b0b06fc987a1d53952e2ff5f3c0f83e3f8ed39da9a9a510c838b6aa9f451919262e39923f7f7af071b76e1b2b1323316038f2f8f84bfdb7be4
+  data.tar.gz: a9dcc51625a817d74cdc6be20cd7a66d6288df0b3d0628a66296c786859901c1f159cf9b33062c0a16cf653de2728e80d944b1438acbea7076c0cab9804e1079

data/lib/sorbet-runtime.rb

@@ -9,6 +9,7 @@
 module T; end
 module T::Helpers; end
 module T::Private; end
+T::Private::IS_TYPECHECKING = false
 module T::Private::Abstract; end
 module T::Private::Types; end
 

data/lib/types/configuration.rb

@@ -1,5 +1,5 @@
-# typed: true
 # frozen_string_literal: true
+# typed: true
 
 module T::Configuration
   # Announces to Sorbet that we are currently in a test environment, so it

data/lib/types/private/abstract/validate.rb

@@ -9,7 +9,7 @@ module T::Private::Abstract::Validate
 
   def self.validate_abstract_module(mod)
     type = Abstract::Data.get(mod, :abstract_type)
-    validate_interface(mod) if type == :interface
+    validate_interface(mod) if :interface == type
   end
 
   # Validates a class/module with an abstract class/module as an ancestor. This must be called
@@ -56,7 +56,7 @@ module T::Private::Abstract::Validate
       # signature and (b) methods from ancestors (note that these ancestors can come before or
       # after the abstract module in the inheritance chain -- the former coming from
       # walking `mod.ancestors` above).
-      abstract_signature = Methods.signature_for_method(abstract_method)
+      abstract_signature = Methods.signature_for_method(abstract_method) || raise("Method being abstract must imply it has a signature")
       # We allow implementation methods to be defined without a signature.
       # In that case, get its untyped signature.
       implementation_signature ||= Methods::Signature.new_untyped(
@@ -111,8 +111,8 @@ module T::Private::Abstract::Validate
   end
 
   private_class_method def self.describe_method(method, show_owner: true)
-    loc = if method.source_location
-      method.source_location.join(':')
+    loc = if (source_loc = method.source_location)
+      source_loc.join(':')
     else
       "<unknown location>"
     end

data/lib/types/private/casts.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
-# typed: false
+# typed: true
 
 module T::Private
   module Casts

data/lib/types/private/class_utils.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
-# typed: false
+# typed: true
 
 # Cut down version of Chalk::Tools::ClassUtils with only :replace_method functionality.
 # Extracted to a separate namespace so the type system can be used standalone.
@@ -22,6 +22,9 @@ module T::Private::ClassUtils
       # of these errors changed across Ruby VM versions, in ways that would sometimes
       # cause tests to fail if they were dependent on hard coding errors).
       mod.method(name)
+      # This is just to prove to Sorbet that this method raises.
+      # This line should be unreachable in practice due to the above call.
+      raise NameError.new("undefined method `#{name}' for class `#{mod}'")
     end
   end
 

data/lib/types/private/final.rb

@@ -1,23 +1,23 @@
 # frozen_string_literal: true
-# typed: false
+# typed: true
 
 module T::Private::Final
   module NoInherit
     def inherited(arg)
       super(arg)
-      raise "#{self} was declared as final and cannot be inherited"
+      Kernel.raise "#{self} was declared as final and cannot be inherited"
     end
   end
 
   module NoIncludeExtend
     def included(arg)
       super(arg)
-      raise "#{self} was declared as final and cannot be included"
+      Kernel.raise "#{self} was declared as final and cannot be included"
     end
 
     def extended(arg)
       super(arg)
-      raise "#{self} was declared as final and cannot be extended"
+      Kernel.raise "#{self} was declared as final and cannot be extended"
     end
   end
 

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

@@ -1,11 +1,12 @@
 # frozen_string_literal: true
-# typed: false
+# typed: true
 
 module T::Private::Methods
   @installed_hooks = {}
   if defined?(Concurrent::Hash)
-    @signatures_by_method = Concurrent::Hash.new
-    @sig_wrappers = Concurrent::Hash.new
+    # Hide the Concurrent::Hash so that we get better typing by lying and saying it's a Hash
+    instance_variable_set(:@signatures_by_method, Concurrent::Hash.new)
+    instance_variable_set(:@sig_wrappers, Concurrent::Hash.new)
   else
     @signatures_by_method = {}
     @sig_wrappers = {}
@@ -31,8 +32,15 @@ module T::Private::Methods
   # in installed_hooks.
   @old_hooks = nil
 
-  ARG_NOT_PROVIDED = Object.new
-  PROC_TYPE = Object.new
+  # These names are for backwards compatibility from when these were `Object.new` instances
+  # rubocop:disable Naming/ClassAndModuleCamelCase
+  module ARG_NOT_PROVIDED
+    freeze
+  end
+  module PROC_TYPE
+    freeze
+  end
+  # rubocop:enable Naming/ClassAndModuleCamelCase
 
   # blk_or_decl:
   # - It's a `Proc` if we haven't forced the thunk yet.
@@ -50,7 +58,7 @@ module T::Private::Methods
 
   # See tests for how to use this.  But you shouldn't be using this.
   def self._declare_sig(mod, arg=nil, &blk)
-    _declare_sig_internal(mod, caller_locations(1, 1).first, arg, raw: true, &blk)
+    _declare_sig_internal(mod, caller_locations(1, 1)&.first, arg, raw: true, &blk)
   end
 
   private_class_method def self._declare_sig_internal(mod, loc, arg, raw: false, &blk)
@@ -112,7 +120,9 @@ module T::Private::Methods
 
   # Fetch the directory name of the file that defines the `T::Private` constant and
   # add a trailing slash to allow us to match it as a directory prefix.
-  SORBET_RUNTIME_LIB_PATH = File.dirname(T.const_source_location(:Private).first) + File::SEPARATOR
+  sorbet_runtime_loc = T.const_source_location(:Private)
+  raise "T::Private constant location not found" unless sorbet_runtime_loc
+  SORBET_RUNTIME_LIB_PATH = File.dirname(sorbet_runtime_loc.first) + File::SEPARATOR
   private_constant :SORBET_RUNTIME_LIB_PATH
 
   # when target includes a module with instance methods source_method_names, ensure there is zero intersection between
@@ -123,6 +133,10 @@ module T::Private::Methods
   # names that were declared final at one point.
   def self._check_final_ancestors(target, target_ancestors, source_method_names, source)
     source_ancestors = nil
+    if T::Private::IS_TYPECHECKING
+      # Need to avoid a pinning error, but don't want to use runtime types in _methods.rb
+      source_ancestors = T.let(nil, T.nilable(T::Array[T::Module[T.anything]]))
+    end
     # use reverse_each to check farther-up ancestors first, for better error messages.
     target_ancestors.reverse_each do |ancestor|
       final_methods = @modules_with_final.fetch(ancestor, nil)
@@ -154,7 +168,8 @@ module T::Private::Methods
           next if defining_ancestor_idx && source_ancestors[defining_ancestor_idx] == ancestor
         end
 
-        definition_file, definition_line = T::Private::Methods.signature_for_method(ancestor.instance_method(method_name)).method.source_location
+        final_sig = T::Private::Methods.signature_for_method(ancestor.instance_method(method_name))
+        definition_file, definition_line = final_sig&.method&.source_location
         is_redefined = target == ancestor
         caller_loc = T::Private::CallerUtils.find_caller { |loc| !loc.path.to_s.start_with?(SORBET_RUNTIME_LIB_PATH) }
         extra_info = "\n"
@@ -247,7 +262,7 @@ module T::Private::Methods
         method_sig ||= T::Private::Methods._handle_missing_method_signature(
           self,
           original_method,
-          __callee__,
+          __callee__ || raise("Unknown __callee__ for method without a signature"),
         )
 
         # Should be the same logic as CallValidation.wrap_method_if_needed but we
@@ -392,7 +407,7 @@ module T::Private::Methods
       SignatureValidation.validate(signature)
       signature
     rescue => e
-      super_method = original_method&.super_method
+      super_method = original_method.super_method
       super_signature = signature_for_method(super_method) if super_method
 
       T::Configuration.sig_validation_error_handler(
@@ -490,8 +505,9 @@ module T::Private::Methods
 
   def self.run_all_sig_blocks(force_type_init: true)
     loop do
-      break if @sig_wrappers.empty?
-      key, = @sig_wrappers.first
+      first_wrapper = @sig_wrappers.first
+      break unless first_wrapper
+      key, = first_wrapper
       run_sig_block_for_key(key, force_type_init: force_type_init)
     end
   end
@@ -565,14 +581,14 @@ module T::Private::Methods
 
   module MethodHooks
     def method_added(name)
-      ::T::Private::Methods._on_method_added(self, self, name)
+      ::T::Private::Methods._on_method_added(T.unsafe(self), T.unsafe(self), name)
       super(name)
     end
   end
 
   module SingletonMethodHooks
     def singleton_method_added(name)
-      ::T::Private::Methods._on_method_added(self, singleton_class, name)
+      ::T::Private::Methods._on_method_added(T.unsafe(self), singleton_class, name)
       super(name)
     end
   end

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

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
-# typed: false
+# typed: true
 
 module T::Private::Methods::CallValidation
   CallValidation = T::Private::Methods::CallValidation
@@ -139,7 +139,7 @@ module T::Private::Methods::CallValidation
     # reduce number of allocations that happen here.
 
     if method_sig.bind
-      message = method_sig.bind.error_message_for_obj(instance)
+      message = method_sig.bind&.error_message_for_obj(instance)
       if message
         CallValidation.report_error(
           method_sig,
@@ -338,7 +338,7 @@ module T::Private::Methods::CallValidation
       end
 
     pretty_message = "#{kind}#{name ? " '#{name}'" : ''}: #{error_message}\n" \
-      "Caller: #{caller_loc.path}:#{caller_loc.lineno}\n" \
+      "Caller: #{caller_loc&.path}:#{caller_loc&.lineno}\n" \
       "Definition: #{definition_file}:#{definition_line} (#{pretty_method_name})"
 
     T::Configuration.call_validation_error_handler(

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

@@ -208,7 +208,7 @@ module T::Private::Methods
       check_live!
 
       names.each do |name|
-        raise BuilderError.new("not a symbol: #{name}") unless name.is_a?(Symbol)
+        raise BuilderError.new("not a symbol: #{name}") unless Symbol === name
       end
 
       if !decl.type_parameters.equal?(ARG_NOT_PROVIDED)
@@ -237,7 +237,7 @@ module T::Private::Methods
         decl.params = FROZEN_HASH
       end
       if decl.type_parameters.equal?(ARG_NOT_PROVIDED)
-        decl.type_parameters = FROZEN_HASH
+        decl.type_parameters = FROZEN_ARRAY
       end
 
       decl.finalized = true
@@ -246,5 +246,6 @@ module T::Private::Methods
     end
 
     FROZEN_HASH = {}.freeze
+    FROZEN_ARRAY = [].freeze
   end
 end

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

@@ -8,7 +8,13 @@ class T::Private::Methods::Signature
               :check_level, :parameters, :on_failure, :override_allow_incompatible,
               :defined_raw
 
-  UNNAMED_REQUIRED_PARAMETERS = [[:req]].freeze
+  # T.unsafe: `UnboundMethod#parameters` lies and says `T::Array[[Symbol, Symbol]]`.
+  # Sorbet can't lub tuple types, meaning that `T.any([Symbol], [Symbol,
+  # Symbol])` would just be `T::Array[T.untyped]`. But Sorbet can see that
+  # UNNAMED_REQUIRED_PARAMETERS, which is an array of 1-tuples, can never
+  # equal an array of 2-tuples, and calls the code dead. There's no good
+  # option, let's just unsafe until tuples are better and we can fix the sig.
+  UNNAMED_REQUIRED_PARAMETERS = T.unsafe([[:req]].freeze)
 
   def self.new_untyped(method:, mode: T::Private::Methods::Modes.untyped, parameters: method.parameters)
     # Using `NotTyped` ensures we'll get an error if we ever try validation on these.
@@ -16,7 +22,7 @@ class T::Private::Methods::Signature
     raw_return_type = not_typed
     # Map missing parameter names to "argN" positionally
     parameters = parameters.each_with_index.map do |(param_kind, param_name), index|
-      [param_kind, param_name || "arg#{index}"]
+      [param_kind, T.unsafe(param_name) || "arg#{index}".to_sym]
     end
     raw_arg_types = {}
     parameters.each do |_, param_name|
@@ -52,7 +58,7 @@ class T::Private::Methods::Signature
     else
       @return_type
     end
-    @bind = bind ? T::Utils.coerce(bind) : bind
+    @bind = NilClass.===(bind) ? bind : T::Utils.coerce(bind)
     @mode = mode
     @check_level = check_level
     @parameters = parameters
@@ -61,10 +67,15 @@ class T::Private::Methods::Signature
     @defined_raw = defined_raw
 
     # Use T.untyped in lieu of T.nilable to try to avoid unnecessary allocations.
-    arg_types = T.let(nil, T.untyped)
-    kwarg_types = T.let(nil, T.untyped)
+    arg_types = nil
+    kwarg_types = nil
+    req_kwarg_names = nil
+    if T::Private::IS_TYPECHECKING
+      arg_types = T.let(nil, T.nilable(T::Array[[Symbol, T::Types::Base]]))
+      kwarg_types = T.let(nil, T.nilable(T::Hash[Symbol, T::Types::Base]))
+      req_kwarg_names = T.let(nil, T.nilable(T::Array[Symbol]))
+    end
     req_arg_count = 0
-    req_kwarg_names = T.let(nil, T.untyped)
 
     # If sig params are declared but there is a single parameter with a missing name
     # **and** the method ends with a "=", assume it is a writer method generated
@@ -91,7 +102,7 @@ class T::Private::Methods::Signature
     end
     i = 0
     raw_arg_types.each do |type_name, raw_type|
-      param_kind, param_name = parameters[i]
+      param_kind, param_name = parameters.fetch(i)
 
       if type_name != param_name
         hint = ""
@@ -107,7 +118,7 @@ class T::Private::Methods::Signature
 
         raise "Parameter `#{type_name}` is declared out of order (declared as arg number " \
               "#{i + 1}, defined in the method as arg number " \
-              "#{parameters.index { |_, name| name == type_name } + 1}).#{hint}\nMethod: #{method_desc}"
+              "#{T.must(parameters.index { |_, name| name == type_name }) + 1}).#{hint}\nMethod: #{method_desc}"
       end
 
       type = T::Utils.coerce(raw_type)

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

@@ -168,7 +168,7 @@ module T::Private::Methods::SignatureValidation
     # for any class.
     owner = signature.method.owner
     if (signature.mode == Modes.abstract || Modes::OVERRIDABLE_MODES.include?(signature.mode)) &&
-        owner.singleton_class? && owner.superclass == Module
+        owner.singleton_class? && Class === owner && owner.superclass == Module
       raise "Defining an overridable class method (via #{pretty_mode(signature)}) " \
             "on a module is not allowed. Class methods on " \
             "modules do not get inherited and thus cannot be overridden."
@@ -312,7 +312,7 @@ module T::Private::Methods::SignatureValidation
   private_constant :METHOD_VISIBILITIES
 
   private_class_method def self.visibility_strength(vis)
-    METHOD_VISIBILITIES.find_index(vis)
+    METHOD_VISIBILITIES.find_index(vis) || raise("Unexpected visibility `#{vis}`")
   end
 
   private_class_method def self.base_override_loc_str(signature, super_signature)

data/lib/types/private/runtime_levels.rb

@@ -32,7 +32,7 @@ module T::Private::RuntimeLevels
   def self.enable_checking_in_tests
     if !@check_tests && @wrapped_tests_with_validation
       all_checked_tests_sigs = T::Private::Methods.all_checked_tests_sigs
-      locations = all_checked_tests_sigs.map { |sig| sig.method.source_location.join(':') }.join("\n- ")
+      locations = all_checked_tests_sigs.map { |sig| sig.method.source_location&.join(':') }.join("\n- ")
       raise "Toggle `:tests`-level runtime type checking earlier. " \
         "There are already some methods wrapped with `sig.checked(:tests)`:\n" \
         "- #{locations}"

data/lib/types/private/sealed.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
-# typed: false
+# typed: true
 
 module T::Private::Sealed
   module NoInherit
@@ -13,7 +13,7 @@ module T::Private::Sealed
     def sealed_subclasses
       @sorbet_sealed_module_all_subclasses_set ||= # rubocop:disable Naming/MemoizedInstanceVariableName
         begin
-          require 'set'
+          Kernel.require 'set'
           Set.new(@sorbet_sealed_module_all_subclasses).freeze
         end
     end
@@ -40,7 +40,7 @@ module T::Private::Sealed
       # else will add to it
       @sorbet_sealed_module_all_subclasses_set ||= # rubocop:disable Naming/MemoizedInstanceVariableName
         begin
-          require 'set'
+          Kernel.require 'set'
           Set.new(@sorbet_sealed_module_all_subclasses).freeze
         end
     end

data/lib/types/sig.rb

@@ -25,6 +25,6 @@ module T::Sig
   # {T::Helpers}
   T::Sig::WithoutRuntime.sig { params(arg0: T.nilable(Symbol), blk: T.proc.bind(T::Private::Methods::DeclBuilder).void).void }
   def sig(arg0=nil, &blk)
-    T::Private::Methods.declare_sig(self, Kernel.caller_locations(1, 1)&.first, arg0, &blk)
+    T::Private::Methods.declare_sig(T.unsafe(self), Kernel.caller_locations(1, 1)&.first, arg0, &blk)
   end
 end

data/lib/types/types/fixed_array.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 # https://jira.corp.stripe.com/browse/RUBYPLAT-1107
-# typed: false
+# typed: true
 
 module T::Types
   # Takes a list of types. Validates each item in an array using the type in the same position
@@ -29,7 +29,7 @@ module T::Types
       if obj.is_a?(Array) && obj.length == types.length
         i = 0
         while i < types.length
-          if !types[i].recursively_valid?(obj[i])
+          if !types.fetch(i).recursively_valid?(obj[i])
             return false
           end
           i += 1
@@ -45,7 +45,7 @@ module T::Types
       if obj.is_a?(Array) && obj.length == types.length
         i = 0
         while i < types.length
-          if !types[i].valid?(obj[i])
+          if !types.fetch(i).valid?(obj[i])
             return false
           end
           i += 1

data/lib/types/types/simple.rb

@@ -91,17 +91,17 @@ module T::Types
           return cached if cached
 
           type = if mod == ::Array
-            T::Array[T.untyped]
+            TypedArray::Untyped::Private::INSTANCE
           elsif mod == ::Hash
-            T::Hash[T.untyped, T.untyped]
+            TypedHash::Untyped.new
           elsif mod == ::Enumerable
-            T::Enumerable[T.untyped]
+            TypedEnumerable::Untyped.new
           elsif mod == ::Enumerator
-            T::Enumerator[T.untyped]
+            TypedEnumerator::Untyped.new
           elsif mod == ::Range
-            T::Range[T.untyped]
+            TypedRange.new(type)
           elsif !Object.autoload?(:Set) && Object.const_defined?(:Set) && mod == ::Set
-            T::Set[T.untyped]
+            TypedSet::Untyped.new
           else
             # ideally we would have a case mapping from ::Class -> T::Class and
             # ::Module -> T::Module here but for backwards compatibility we

data/lib/types/types/union.rb

@@ -39,7 +39,7 @@ module T::Types
         # evades Sorbet's static check and we end up on the slow path, or if someone
         # is using the T:Types::Union constructor directly (the latter possibility
         # is why we don't just move the `uniq` into `Private::Pool.union_of_types`).
-        return types[0].name
+        return types.fetch(0).name
       end
       nilable = T::Utils.coerce(NilClass)
       trueclass = T::Utils.coerce(TrueClass)

data/lib/types/utils.rb

@@ -133,7 +133,7 @@ module T::Utils
   # @return [String]
   #
   def self.string_truncate_middle(str, start_len, end_len, ellipsis='...')
-    return unless str
+    return str unless str
 
     raise ArgumentError.new('must provide start_len') unless start_len
     raise ArgumentError.new('must provide end_len') unless end_len

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.6.13192
+  version: 0.6.13196
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2026-05-06 00:00:00.000000000 Z
+date: 2026-05-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: benchmark