sorbet-runtime 0.5.9818 → 0.5.9827

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: bf831162d6c98d19f1d5b53e08c37a74a2687022c8228a85ea7461cd42abd5ca
-  data.tar.gz: 6ffce1bcc22581c6a6da04b70aebce695381c621d1a565ba3104fceba4ed572b
+  metadata.gz: 9f740868f3b5e872601f01934763bf10255d56d738d50334cfcf96b3a7583bf6
+  data.tar.gz: 90edadbf0782f42a9e2450894936e59be59c7ba19379d8a9000e79a90f34b2a6
 SHA512:
-  metadata.gz: ee46a7e96776cfa3a6cc43c6d1f9021e93b581279755fb64ba577838d6cbe9d6b79d6ec97e0b34530e33c8f49be774678d12b03ee34003c442a0a3e9560de8c4
-  data.tar.gz: ae68ac285f4c19ff474ad7d7dd747b96c8b3b5368571f9a6573107c4895515f90c0641f5e76c4b60234bd542007b510189b6e6bf7ab8f815baf85a88b132f1d3
+  metadata.gz: 8185e90e25e5ae3764443743f2180870d0f04f72d0aa2c6e18fabd679708446c1904579b0f7a424e51831e4e6af685622bcbc23c203e523771af6eb1f5057faa
+  data.tar.gz: 1509840bbbbee014740b3fe1029bdb3aea29446a9182adf9b8d7a2dbf63dfd6b9d6128f48870b7804093f4e443f64cb756048ce1b080b11a238ddec5671e5cd7

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