sorbet-runtime 0.5.9807 → 0.5.9837

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a651f66cb1753f5ab6baa5c8cac536e68f2ba9f6ade43dc15d07e7ec2dd020cb
-  data.tar.gz: eff196864132917898e3745e0de01789fd669d4a2a790e44cfb57a8029957e15
+  metadata.gz: dc69d4350235a5989031adfc1ed393b3e0212d20697327520ede8b36444aebee
+  data.tar.gz: 3e93d339c008466e5c45536803fe05da0cbfcb6035ee42ab32de90b3ccabf30d
 SHA512:
-  metadata.gz: a68c58a227c1681d26c913c95d5dd5e67cb79fe89bd371e723bb87f59619c4195b7c54b814ac3349fda0da29ff4b1a67d783544b96137ba54709d737d950ce10
-  data.tar.gz: 111cb77a5920020b021421c63ce834ea073b34d7d40f1fa923bbd70c01736331e09efb4a13e6fc90454decf080f1596802ac0d0a4c2c0f8332d91668ea32d4b7
+  metadata.gz: 04056f6df343f01dbe6fc7d7db3beb7b77b07d2363af56e7e9627df6f3aad1038cbfd9b37f8a84416fd8a34e14c1b0a333b6d45c0b604a9aa7261987cbc009de
+  data.tar.gz: 887620f027745f04ea82e1756d2305575c3b6937a72f3e095aa506a9c1a72b057d3ff64f29c237d99538159b3063362ff81cc52d439b03077d65801f592b481f

data/lib/sorbet-runtime.rb

@@ -45,6 +45,7 @@ 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_lazy'
 require_relative 'types/types/typed_hash'
 require_relative 'types/types/typed_range'
 require_relative 'types/types/typed_set'

data/lib/types/_types.rb

@@ -286,6 +286,16 @@ module T
         T::Types::TypedEnumerator.new(type)
       end
     end
+
+    module Lazy
+      def self.[](type)
+        if type.is_a?(T::Types::Untyped)
+          T::Types::TypedEnumeratorLazy::Untyped.new
+        else
+          T::Types::TypedEnumeratorLazy.new(type)
+        end
+      end
+    end
   end
 
   module Range

data/lib/types/types/typed_enumerable.rb

@@ -51,6 +51,9 @@ module T::Types
           return false if !key_type.recursively_valid?(key) || !value_type.recursively_valid?(val)
         end
         true
+      when Enumerator::Lazy
+        # Enumerators can be unbounded: see `[:foo, :bar].cycle`
+        true
       when Enumerator
         # Enumerators can be unbounded: see `[:foo, :bar].cycle`
         true
@@ -140,6 +143,8 @@ module T::Types
         else
           T::Range[type_from_instances(typeable_objects)]
         end
+      when Enumerator::Lazy
+        T::Enumerator::Lazy[type_from_instances(obj)]
       when Enumerator
         T::Enumerator[type_from_instances(obj)]
       when Set

data/lib/types/types/typed_enumerator_lazy.rb

@@ -0,0 +1,41 @@
+# frozen_string_literal: true
+# typed: true
+
+module T::Types
+  class TypedEnumeratorLazy < TypedEnumerable
+    attr_reader :type
+
+    def underlying_class
+      Enumerator::Lazy
+    end
+
+    # overrides Base
+    def name
+      "T::Enumerator::Lazy[#{@type.name}]"
+    end
+
+    # overrides Base
+    def recursively_valid?(obj)
+      obj.is_a?(Enumerator::Lazy) && super
+    end
+
+    # overrides Base
+    def valid?(obj)
+      obj.is_a?(Enumerator::Lazy)
+    end
+
+    def new(*args, &blk)
+      T.unsafe(Enumerator::Lazy).new(*args, &blk)
+    end
+
+    class Untyped < TypedEnumeratorLazy
+      def initialize
+        super(T.untyped)
+      end
+
+      def valid?(obj)
+        obj.is_a?(Enumerator::Lazy)
+      end
+    end
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.9807
+  version: 0.5.9837
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2022-03-30 00:00:00.000000000 Z
+date: 2022-04-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -233,6 +233,7 @@ files:
 - lib/types/types/typed_array.rb
 - lib/types/types/typed_enumerable.rb
 - lib/types/types/typed_enumerator.rb
+- lib/types/types/typed_enumerator_lazy.rb
 - lib/types/types/typed_hash.rb
 - lib/types/types/typed_range.rb
 - lib/types/types/typed_set.rb