sorbet-runtime 0.5.9818 → 0.5.9851

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: bf831162d6c98d19f1d5b53e08c37a74a2687022c8228a85ea7461cd42abd5ca
-  data.tar.gz: 6ffce1bcc22581c6a6da04b70aebce695381c621d1a565ba3104fceba4ed572b
+  metadata.gz: d5bb209171fe9f62448395495960f197705f0ca4e629c04600ca1feb41814282
+  data.tar.gz: a28c1b716c33294028907827445a4c5c42100c77e408ae4acdb0d26b73fe39b0
 SHA512:
-  metadata.gz: ee46a7e96776cfa3a6cc43c6d1f9021e93b581279755fb64ba577838d6cbe9d6b79d6ec97e0b34530e33c8f49be774678d12b03ee34003c442a0a3e9560de8c4
-  data.tar.gz: ae68ac285f4c19ff474ad7d7dd747b96c8b3b5368571f9a6573107c4895515f90c0641f5e76c4b60234bd542007b510189b6e6bf7ab8f815baf85a88b132f1d3
+  metadata.gz: 25f91e6835ee70376421259f918dfe9ba2f633865f92c3474afe7e5de4e01fe3e886253e73b4ca85687d2dcee9517705df308c1819c039aa800f5bcd0a73012e
+  data.tar.gz: 8575393589c6463c94d3bc2f7614554b142ed3d941dafe444b0690e8aaeece8d6433d88fb21ac9aff6c5f307b452481db9c72524781679aff5d31097ce7dbc8c

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.9818
+  version: 0.5.9851
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2022-03-31 00:00:00.000000000 Z
+date: 2022-04-05 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