sorbet-runtime 0.4.4539 → 0.4.4540

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 254560c262844687d19ed9bdf4455b07bc6b8abc
-  data.tar.gz: daaac8e190d0ebee171bc0740bc8d4c4bbf195ff
+  metadata.gz: e535aeae3d09b4eef7e8983cbf09bee31b71f7f8
+  data.tar.gz: c7587b913aaa915a93ea5c7be6d794c8aa4b0767
 SHA512:
-  metadata.gz: a69d1e173000c4df7d8aadf2e9d4707b9ac1471867be6b51198fd960a75d7d42ff07500ecac213d33f69f7f4b7197283cec1c997fb8e51e10eba57e086a3e9d9
-  data.tar.gz: 43b4b3dde7b42ca788c99645e7a07c2f16cde98a3cb8bf6cce4dcbfaecf54c72f40c90202ea89e6aed394275374313a47d06b5820a048f29a923a83ce4d0d8cc
+  metadata.gz: ce2ed81c05e056e5acb111546ac2a20ca3abdcbe956e5cba1ec620b639ab71d90cfd331f0ace0ffa009d0b987df3b2550964821c9a66404b0830a42af31d4404
+  data.tar.gz: d798d11d8dc4b6123afe2e043f0b1ce468a6cc660e50c1a5dfab75a40e5104c0f785d18a63e1cbaac0562848d599349730171fba1a8dfd0c545751a4382c2b36

data/lib/types/_types.rb

@@ -217,25 +217,41 @@ module T
 
   module Array
     def self.[](type)
-      T::Types::TypedArray.new(type)
+      if type.is_a?(T::Types::Untyped)
+        T::Types::TypedArray::Untyped.new
+      else
+        T::Types::TypedArray.new(type)
+      end
     end
   end
 
   module Hash
     def self.[](keys, values)
-      T::Types::TypedHash.new(keys: keys, values: values)
+      if keys.is_a?(T::Types::Untyped) && values.is_a?(T::Types::Untyped)
+        T::Types::TypedHash::Untyped.new
+      else
+        T::Types::TypedHash.new(keys: keys, values: values)
+      end
     end
   end
 
   module Enumerable
     def self.[](type)
-      T::Types::TypedEnumerable.new(type)
+      if type.is_a?(T::Types::Untyped)
+        T::Types::TypedEnumerable::Untyped.new
+      else
+        T::Types::TypedEnumerable.new(type)
+      end
     end
   end
 
   module Enumerator
     def self.[](type)
-      T::Types::TypedEnumerator.new(type)
+      if type.is_a?(T::Types::Untyped)
+        T::Types::TypedEnumerator::Untyped.new
+      else
+        T::Types::TypedEnumerator.new(type)
+      end
     end
   end
 
@@ -247,7 +263,11 @@ module T
 
   module Set
     def self.[](type)
-      T::Types::TypedSet.new(type)
+      if type.is_a?(T::Types::Untyped)
+        T::Types::TypedSet::Untyped.new
+      else
+        T::Types::TypedSet.new(type)
+      end
     end
   end
 

data/lib/types/types/typed_array.rb

@@ -8,6 +8,10 @@ module T::Types
       "T::Array[#{@type.name}]"
     end
 
+    def underlying_class
+      Array
+    end
+
     # @override Base
     def valid?(obj)
       obj.is_a?(Array) && super
@@ -16,5 +20,15 @@ module T::Types
     def new(*args) # rubocop:disable PrisonGuard/BanBuiltinMethodOverride
       Array.new(*T.unsafe(args))
     end
+
+    class Untyped < TypedArray
+      def initialize
+        super(T.untyped)
+      end
+
+      def valid?(obj)
+        obj.is_a?(Array)
+      end
+    end
   end
 end

data/lib/types/types/typed_enumerable.rb

@@ -12,6 +12,10 @@ module T::Types
       @type = T::Utils.coerce(type)
     end
 
+    def underlying_class
+      Enumerable
+    end
+
     # @override Base
     def name
       "T::Enumerable[#{@type.name}]"
@@ -68,7 +72,8 @@ module T::Types
 
     # @override Base
     private def subtype_of_single?(other)
-      if self.class <= other.class
+      if other.class <= TypedEnumerable &&
+         underlying_class <= other.underlying_class
         # Enumerables are covariant because they are read only
         #
         # Properly speaking, many Enumerable subtypes (e.g. Set)
@@ -137,5 +142,15 @@ module T::Types
         self.class.new(type_from_instances(obj))
       end
     end
+
+    class Untyped < TypedEnumerable
+      def initialize
+        super(T.untyped)
+      end
+
+      def valid?(obj)
+        obj.is_a?(Enumerable)
+      end
+    end
   end
 end

data/lib/types/types/typed_enumerator.rb

@@ -5,6 +5,10 @@ module T::Types
   class TypedEnumerator < TypedEnumerable
     attr_reader :type
 
+    def underlying_class
+      Enumerator
+    end
+
     # @override Base
     def name
       "T::Enumerator[#{@type.name}]"
@@ -18,5 +22,15 @@ module T::Types
     def new(*args, &blk) # rubocop:disable PrisonGuard/BanBuiltinMethodOverride
       T.unsafe(Enumerator).new(*args, &blk)
     end
+
+    class Untyped < TypedEnumerator
+      def initialize
+        super(T.untyped)
+      end
+
+      def valid?(obj)
+        obj.is_a?(Enumerator)
+      end
+    end
   end
 end

data/lib/types/types/typed_hash.rb

@@ -6,7 +6,11 @@ module T::Types
     # Technically we don't need these, but they are a nice api
     attr_reader :keys, :values
 
-    def initialize(keys:, values:)
+    def underlying_class
+      Hash
+    end
+
+      def initialize(keys:, values:)
       @keys = T::Utils.coerce(keys)
       @values = T::Utils.coerce(values)
       @type = T::Utils.coerce([keys, values])
@@ -25,5 +29,15 @@ module T::Types
     def new(*args, &blk) # rubocop:disable PrisonGuard/BanBuiltinMethodOverride
       Hash.new(*T.unsafe(args), &blk) # rubocop:disable PrisonGuard/RestrictHashDefaults
     end
+
+    class Untyped < TypedHash
+      def initialize
+        super(keys: T.untyped, values: T.untyped)
+      end
+
+      def valid?(obj)
+        obj.is_a?(Hash)
+      end
+    end
   end
 end

data/lib/types/types/typed_range.rb

@@ -5,6 +5,10 @@ module T::Types
   class TypedRange < TypedEnumerable
     attr_reader :type
 
+    def underlying_class
+      Hash
+    end
+
     # @override Base
     def name
       "T::Range[#{@type.name}]"

data/lib/types/types/typed_set.rb

@@ -5,6 +5,10 @@ module T::Types
   class TypedSet < TypedEnumerable
     attr_reader :type
 
+    def underlying_class
+      Hash
+    end
+
     # @override Base
     def name
       "T::Set[#{@type.name}]"
@@ -18,5 +22,15 @@ module T::Types
     def new(*args) # rubocop:disable PrisonGuard/BanBuiltinMethodOverride
       Set.new(*T.unsafe(args))
     end
+
+    class Untyped < TypedSet
+      def initialize
+        super(T.untyped)
+      end
+
+      def valid?(obj)
+        obj.is_a?(Set)
+      end
+    end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.4.4539
+  version: 0.4.4540
 platform: ruby
 authors:
 - Stripe