sorbet-runtime 0.6.12690 → 0.6.12698

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 639b70e663f6372b6912fa96582af60ac52db5bf07b63125d65b264ff382095c
-  data.tar.gz: dcf3eb8033a59058e1840692ca196b0b046ff43bbbebe67fcaa759185b4570ae
+  metadata.gz: ea3c0c3901405f4352a63a498d150ac369b433440ccf0acd515fa594edf3b699
+  data.tar.gz: c2484baf3e8474b6b8436990c2ddf6b4ad9cf6159e07c98a72f68d9268981fc8
 SHA512:
-  metadata.gz: 05af3b63b667ca36c946a29a663754dc3304717f9137d2b0c03e46fa0dc6b81fa21a95cce5f03cf8dd29092313721615242085cf86daf914f334bb6489bb5337
-  data.tar.gz: 320828be9bb5be8770fcaf97123dce71bfa7895a604cead0bef0c7ee59cb16544425927f4153fed240de127677e73becfd92f6d029d40d5834bb57e430857505
+  metadata.gz: bf62db0635168aa95ea58fde5693e3a9c3e15d016513ff1c332e527e71e5d9bade43e6e53f418c9fcf698361eb39a6e53f31f5d5f1f4d8ac67fc15e7bf540049
+  data.tar.gz: 89df13d1ca3567e2f8aa1d216a71168290d7f65e1b29d5aa879513877a797c63489fdedcfb77433959f1804209d98a9ea79314e49906ef742536932b3fb905c5

data/lib/sorbet-runtime.rb

@@ -85,6 +85,7 @@ require_relative 'types/boolean'
 
 # Depends on types/utils
 require_relative 'types/types/typed_array'
+require_relative 'types/types/typed_module'
 require_relative 'types/types/typed_class'
 
 # Props dependencies

data/lib/types/_types.rb

@@ -367,4 +367,16 @@ module T
       end
     end
   end
+
+  module Module
+    def self.[](type)
+      if type.is_a?(T::Types::Untyped)
+        T::Types::TypedModule::Untyped::Private::INSTANCE
+      elsif type.is_a?(T::Types::Anything)
+        T::Types::TypedModule::Anything::Private::INSTANCE
+      else
+        T::Types::TypedModule::Private::Pool.type_for_module(type)
+      end
+    end
+  end
 end

data/lib/types/types/class_of.rb

@@ -31,7 +31,7 @@ module T::Types
         @type.is_a?(other.type.singleton_class)
       when Simple
         @type.is_a?(other.raw_type)
-      when TypedClass
+      when TypedClass, TypedModule
         @type.is_a?(other.underlying_class)
       else
         false

data/lib/types/types/simple.rb

@@ -41,7 +41,7 @@ module T::Types
       case other
       when Simple
         @raw_type <= other.raw_type
-      when TypedClass
+      when TypedClass, TypedModule
         # This case is a bit odd--we would have liked to solve this like we do
         # for `T::Array` et al., but don't for backwards compatibility.
         # See `type_for_module` below.
@@ -103,9 +103,9 @@ module T::Types
           elsif !Object.autoload?(:Set) && Object.const_defined?(:Set) && mod == ::Set
             T::Set[T.untyped]
           else
-            # ideally we would have a case mapping from ::Class -> T::Class here
-            # but for backwards compatibility we don't have that, and instead
-            # have a special case in subtype_of_single?
+            # ideally we would have a case mapping from ::Class -> T::Class and
+            # ::Module -> T::Module here but for backwards compatibility we
+            # don't have that, and instead have a special case in subtype_of_single?
             Simple.new(mod)
           end
 

data/lib/types/types/typed_class.rb

@@ -33,7 +33,7 @@ module T::Types
     # overrides Base
     private def subtype_of_single?(type)
       case type
-      when TypedClass
+      when TypedClass, TypedModule
         # treat like generics are erased
         true
       when Simple

data/lib/types/types/typed_module.rb

@@ -0,0 +1,102 @@
+# frozen_string_literal: true
+# typed: true
+
+module T::Types
+  class TypedModule < T::Types::Base
+    def initialize(type)
+      @inner_type = type
+    end
+
+    def type
+      @type ||= T::Utils.coerce(@inner_type)
+    end
+
+    def build_type
+      type
+      nil
+    end
+
+    # overrides Base
+    def name
+      "T::Module[#{type.name}]"
+    end
+
+    def underlying_class
+      Module
+    end
+
+    # overrides Base
+    def valid?(obj)
+      Module.===(obj)
+    end
+
+    # overrides Base
+    private def subtype_of_single?(type)
+      case type
+      when TypedModule
+        # treat like generics are erased
+        true
+      when Simple
+        Module <= type.raw_type
+      else
+        false
+      end
+    end
+
+    module Private
+      module Pool
+        CACHE_FROZEN_OBJECTS =
+          begin
+            ObjectSpace::WeakMap.new[1] = 1
+            true # Ruby 2.7 and newer
+          rescue ArgumentError
+            false # Ruby 2.6 and older
+          end
+
+        @cache = ObjectSpace::WeakMap.new
+
+        def self.type_for_module(mod)
+          cached = @cache[mod]
+          return cached if cached
+
+          type = TypedModule.new(mod)
+
+          if CACHE_FROZEN_OBJECTS || (!mod.frozen? && !type.frozen?)
+            @cache[mod] = type
+          end
+          type
+        end
+      end
+    end
+
+    class Untyped < TypedModule
+      def initialize
+        super(T::Types::Untyped::Private::INSTANCE)
+      end
+
+      def freeze
+        build_type # force lazy initialization before freezing the object
+        super
+      end
+
+      module Private
+        INSTANCE = Untyped.new.freeze
+      end
+    end
+
+    class Anything < TypedModule
+      def initialize
+        super(T.anything)
+      end
+
+      def freeze
+        build_type # force lazy initialization before freezing the object
+        super
+      end
+
+      module Private
+        INSTANCE = Anything.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.6.12690
+  version: 0.6.12698
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2025-11-01 00:00:00.000000000 Z
+date: 2025-11-04 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -237,6 +237,7 @@ files:
 - lib/types/types/typed_enumerator_chain.rb
 - lib/types/types/typed_enumerator_lazy.rb
 - lib/types/types/typed_hash.rb
+- lib/types/types/typed_module.rb
 - lib/types/types/typed_range.rb
 - lib/types/types/typed_set.rb
 - lib/types/types/union.rb