sorbet-runtime 0.5.6400 → 0.5.6408

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 74aac34f64b3e5c25e572dd951942cee98e2ae10dce6f13df9b4a1be0b16e8cb
-  data.tar.gz: 115d12681d110aef482c1a45155719f397a3e858e2d4d5fa023c90d28c317510
+  metadata.gz: 83a18a0a29a0fa141646a4abb78bcdf1b07d514eb095f3a59073de297069f73a
+  data.tar.gz: 4e6c98a7720c732e065283217abdd9986b4f4713cfd4b0abe2ad34b8da439128
 SHA512:
-  metadata.gz: f518a7bc3b245b1742cb0be12fb16c968c6aedb0fa0cd65d592137c3f1cc7d8f716a316546aaa7a505f4ce29fe28325a8aba79a8effe7ab22561964359afbdfe
-  data.tar.gz: 0e3c7731ef4dbedcf781c2a56d9cdc37c276a4f3fe04f5790d024544c9cb00cc315b6ad4d82b95529b91195d1dd32644898f69eb2e8e4500673407e110a7e9e0
+  metadata.gz: ee5ea85b50b5cd8540956ef36fa361679dd4a5d957b6f9761e04335eb9ad4a9dbe884452bfe246c3cc2d60c2d08b8541731c6b1b10e5067c5fbad9e5c6f65318
+  data.tar.gz: a251763b257891930ce08ee01e1896a1af33e193bf8e87b91ddc1cef4691fe72de9615030a9723e8343d67c1b8798a0fffc66a9b25cdb3fab47abc30bb3618a9

data/lib/types/configuration.rb

@@ -73,6 +73,13 @@ module T::Configuration
     @include_value_in_type_errors = true
   end
 
+  # Whether VM-defined prop serialization/deserialization routines can be enabled.
+  #
+  # @return [T::Boolean]
+  def self.can_enable_vm_prop_serde?
+    T::Props::Private::DeserializerGenerator.respond_to?(:generate2)
+  end
+
   # Whether to use VM-defined prop serialization/deserialization routines.
   #
   # The default is to use runtime codegen inside sorbet-runtime itself.
@@ -86,6 +93,9 @@ module T::Configuration
   #
   # This method is likely to break things outside of Stripe's systems.
   def self.enable_vm_prop_serde
+    if !can_enable_vm_prop_serde?
+      hard_assert_handler('Ruby VM is not setup to use VM-defined prop serde')
+    end
     @use_vm_prop_serde = true
   end
 

data/lib/types/private/methods/signature_validation.rb

@@ -181,7 +181,7 @@ module T::Private::Methods::SignatureValidation
     # arg types must be contravariant
     super_signature.arg_types.zip(signature.arg_types).each_with_index do |((_super_name, super_type), (name, type)), index|
       if !super_type.subtype_of?(type)
-        raise "Incompatible type for arg ##{index + 1} (`#{name}`) in #{mode_noun} of method " \
+        raise "Incompatible type for arg ##{index + 1} (`#{name}`) in signature for #{mode_noun} of method " \
               "`#{signature.method_name}`:\n" \
               "* Base: `#{super_type}` (in #{method_loc_str(super_signature.method)})\n" \
               "* #{mode_noun.capitalize}: `#{type}` (in #{method_loc_str(signature.method)})\n" \
@@ -193,7 +193,7 @@ module T::Private::Methods::SignatureValidation
     super_signature.kwarg_types.each do |name, super_type|
       type = signature.kwarg_types[name]
       if !super_type.subtype_of?(type)
-        raise "Incompatible type for arg `#{name}` in #{mode_noun} of method `#{signature.method_name}`:\n" \
+        raise "Incompatible type for arg `#{name}` in signature for #{mode_noun} of method `#{signature.method_name}`:\n" \
               "* Base: `#{super_type}` (in #{method_loc_str(super_signature.method)})\n" \
               "* #{mode_noun.capitalize}: `#{type}` (in #{method_loc_str(signature.method)})\n" \
               "(The types must be contravariant.)"
@@ -202,7 +202,7 @@ module T::Private::Methods::SignatureValidation
 
     # return types must be covariant
     if !signature.return_type.subtype_of?(super_signature.return_type)
-      raise "Incompatible return type in #{mode_noun} of method `#{signature.method_name}`:\n" \
+      raise "Incompatible return type in signature for #{mode_noun} of method `#{signature.method_name}`:\n" \
             "* Base: `#{super_signature.return_type}` (in #{method_loc_str(super_signature.method)})\n" \
             "* #{mode_noun.capitalize}: `#{signature.return_type}` (in #{method_loc_str(signature.method)})\n" \
             "(The types must be covariant.)"

data/lib/types/types/simple.rb

@@ -41,11 +41,26 @@ module T::Types
     module Private
       module Pool
         def self.type_for_module(mod)
-          cached = mod.instance_variable_get(:@__as_sorbet_simple_type)
+          cached = mod.instance_variable_get(:@__as_sorbet_type)
           return cached if cached
 
-          type = Simple.new(mod)
-          mod.instance_variable_set(:@__as_sorbet_simple_type, type) unless mod.frozen?
+          type = if mod == ::Array
+            T::Array[T.untyped]
+          elsif mod == ::Set
+            T::Set[T.untyped]
+          elsif mod == ::Hash
+            T::Hash[T.untyped, T.untyped]
+          elsif mod == ::Enumerable
+            T::Enumerable[T.untyped]
+          elsif mod == ::Enumerator
+            T::Enumerator[T.untyped]
+          elsif mod == ::Range
+            T::Range[T.untyped]
+          else
+            Simple.new(mod)
+          end
+
+          mod.instance_variable_set(:@__as_sorbet_type, type) unless mod.frozen?
           type
         end
       end

data/lib/types/types/union.rb

@@ -8,12 +8,12 @@ module T::Types
 
     def initialize(types)
       @types = types.flat_map do |type|
-        type = T::Utils.resolve_alias(type)
+        type = T::Utils.coerce(type)
         if type.is_a?(Union)
           # Simplify nested unions (mostly so `name` returns a nicer value)
           type.types
         else
-          T::Utils.coerce(type)
+          type
         end
       end.uniq
     end

data/lib/types/utils.rb

@@ -8,18 +8,6 @@ module T::Utils
       val.aliased_type
     elsif val.is_a?(T::Types::Base)
       val
-    elsif val == ::Array
-      T::Array[T.untyped]
-    elsif val == ::Set
-      T::Set[T.untyped]
-    elsif val == ::Hash
-      T::Hash[T.untyped, T.untyped]
-    elsif val == ::Enumerable
-      T::Enumerable[T.untyped]
-    elsif val == ::Enumerator
-      T::Enumerator[T.untyped]
-    elsif val == ::Range
-      T::Range[T.untyped]
     elsif val.is_a?(Module)
       T::Types::Simple::Private::Pool.type_for_module(val)
     elsif val.is_a?(::Array)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.6400
+  version: 0.5.6408
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2021-05-05 00:00:00.000000000 Z
+date: 2021-05-14 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest