sorbet-runtime 0.6.13286 → 0.6.13291

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e2b15b12f019d99d0883d3987d7bd205a368b8646b8c998328967023be62d8a1
-  data.tar.gz: dbed6520ccd76a2ac122f63cfee589811b4ea570d72d994b0c6e1e2391640e8e
+  metadata.gz: 638a6b73e828c48ae511c5c9d2672b02f93b639a888ab9923078f527b6e6c26b
+  data.tar.gz: 7a4f590dfff39dc7bdb87222fa532c8839857306cc3f019137c6862c572512e9
 SHA512:
-  metadata.gz: a30b5d79bb6b5ae5dd11b6a82bdec010bb00ba90d386db70a9fa8ff191180e2a264f89243f45674a7db2d6f7c17f6856d6b32e0795cacb6717852c1e2a902c1a
-  data.tar.gz: 69d156afa66059195cbc8cf6d5aad958cfc5132959fc18842716d8df563a4f08788e24fd9a43313ba7e667f4e81c30abed3e1aa03a90ee021d267d9061df9ba3
+  metadata.gz: eed2fb342c8327e84ca50de6bfcadd056298c948d103f5daae987eb491dc985d1c555b8f60f55d65fb203a2d2b4de30c48d738292b9cda012b51255ae212e1b5
+  data.tar.gz: fc83794c27cd1d2189b07a7423fae7ef7d63b2b939ff9646427d288114d8da4b167dbcddc40fff1312aa0ec99d1aed01c562b8bfe0b60e577ba2e6f63d939b5e

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

@@ -105,12 +105,17 @@ module T::Private::Methods
   #
   # we assume that source_method_names has already been filtered to only include method
   # names that were declared final at one point.
+  #
+  # Returns a boolean indicating whether it's okay to define any of `source_method_names` in `target`
+  # (e.g. true if no final method violations)
   def self._check_final_ancestors(target, 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]]))
+      found_error = T.let(false, T::Boolean)
     end
+    found_error = false
     # 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)
@@ -142,6 +147,8 @@ module T::Private::Methods
           next if defining_ancestor_idx && source_ancestors[defining_ancestor_idx] == ancestor
         end
 
+        found_error = true
+
         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
@@ -158,19 +165,14 @@ module T::Private::Methods
                          "#{extra_info}"
 
         begin
+          # raise + rescue to populate the backtrace
           raise pretty_message
         rescue => e
-          # sig_validation_error_handler raises by default; on the off chance that
-          # it doesn't raise, we need to ensure that the rest of signature building
-          # sees a consistent state.  This sig failed to validate, so we should get
-          # rid of it.  If we don't do this, errors of the form "You called sig
-          # twice without declaring a method in between" will non-deterministically
-          # crop up in tests.
-          T::Private::DeclState.current.reset!
           T::Configuration.sig_validation_error_handler(e, {})
         end
       end
     end
+    !found_error
   end
 
   def self.add_module_with_final_method(mod, method_name)
@@ -193,22 +195,22 @@ module T::Private::Methods
     end
 
     current_declaration = T::Private::DeclState.current.active_declaration
+    T::Private::DeclState.current.reset!
 
     if T::Private::Final.final_module?(mod) && (current_declaration.nil? || !current_declaration.final)
       raise "#{mod} was declared as final but its method `#{method_name}` was not declared as final"
     end
     # Don't compute mod.ancestors if we don't need to bother checking final-ness.
-    if @was_ever_final_names.include?(method_name) && @modules_with_final.include?(mod)
-      _check_final_ancestors(mod, [method_name], nil)
-      # We need to fetch the active declaration again, as _check_final_ancestors
-      # may have reset it (see the comment in that method for details).
-      current_declaration = T::Private::DeclState.current.active_declaration
+    if @was_ever_final_names.include?(method_name) && @modules_with_final.include?(mod) &&
+       !_check_final_ancestors(mod, [method_name], nil)
+      # We want to pretend like the method did not have a sig, so return.
+      # (This code is not dead, because some `sig_validation_error_handler`'s do not raise.)
+      return
     end
 
     if current_declaration.nil?
       return
     end
-    T::Private::DeclState.current.reset!
 
     if method_name == :method_added || method_name == :singleton_method_added
       raise(
@@ -507,6 +509,7 @@ module T::Private::Methods
     end
 
     _check_final_ancestors(target, methods, source)
+    nil
   end
 
   def self.set_final_checks_on_hooks(enable)

metadata

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