sorbet-runtime 0.4.5065 → 0.4.5072

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ca1bf134376fb9cad1a81a6aaf87c1ee5cf035a7ce6b136ca906190780c0123c
-  data.tar.gz: 5a0ef05a2802e2f374689d8ac5354a66506551c0a2da652a4c36216cb3736a77
+  metadata.gz: c67d9b5812cb30a678699a32ee974f1ea30c1302f0398fedc3256f6e7bddd86d
+  data.tar.gz: c49a65e4b1e6cec214029188e1c3fa858975f1735caa28eefa8436e4c73d5dc3
 SHA512:
-  metadata.gz: 2fe6463eb38bea9aceeb475e329c8da98e78513fd08e1e4b16821c51f913fe95034d6e36d62b9799557375cf62cef5588e0d00bd22592a5ce4b3a2b6f49c4665
-  data.tar.gz: 1820cc1ec33c4f088e719eaa786435b8fd297bdbe8ea3c06f5091fadcd37719df1fc2d4047d86b129149125bf803767149a0d6f1e03b58474e46a478c18efd05
+  metadata.gz: 9c336ac9174bb809d8c1083fdd58ef088461580320bd5eb48ebb24616c09eb56ebbaaa8d56684670561717212e2a507bb5af380d7c0032835a4cededaf5ae76a
+  data.tar.gz: c3ce313e9f699d7a948e46dabfa5cbdc243e9d93793c201ce28a599e6ec467dcbbefd92f20e67330094b32e9e3e6bd76e7127915512ff2cea4e53419488bd8d9

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

@@ -302,7 +302,6 @@ module T::Private::Methods
         check_level: current_declaration.checked,
         on_failure: current_declaration.on_failure,
         override_allow_incompatible: current_declaration.override_allow_incompatible,
-        generated: current_declaration.generated,
       )
 
       SignatureValidation.validate(signature)

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

@@ -51,10 +51,6 @@ module T::Private::Methods::CallValidation
     # This method is called for every `sig`. It's critical to keep it fast and
     # reduce number of allocations that happen here.
 
-    if method_sig.ever_failed && method_sig.generated
-      return original_method.bind(instance).call(*args, &blk)
-    end
-
     T::Profile.typecheck_sample_attempts -= 1
     should_sample = T::Profile.typecheck_sample_attempts == 0
     if should_sample
@@ -252,10 +248,6 @@ module T::Private::Methods::CallValidation
         T::Profile.typecheck_duration += (Process.clock_gettime(Process::CLOCK_MONOTONIC) - t1)
       end
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(&blk)
-      end
-
       # The following line breaks are intentional to show nice pry message
 
 
@@ -303,10 +295,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -392,10 +380,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, arg1, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -493,10 +477,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, arg1, arg2, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -607,10 +587,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, arg1, arg2, arg3, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -760,10 +736,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(&blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -817,10 +789,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -884,10 +852,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, arg1, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -964,10 +928,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, arg1, arg2, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -1057,10 +1017,6 @@ module T::Private::Methods::CallValidation
       # reduce number of allocations that happen here.
       # This method is a manually sped-up version of more general code in `validate_call`
 
-      if method_sig.ever_failed && method_sig.generated
-        return original_method.bind(self).call(arg0, arg1, arg2, arg3, &blk)
-      end
-
       T::Profile.typecheck_sample_attempts -= 1
       should_sample = T::Profile.typecheck_sample_attempts == 0
       if should_sample
@@ -1156,7 +1112,6 @@ module T::Private::Methods::CallValidation
   end
 
   def self.report_error(method_sig, error_message, kind, name, type, value, caller_offset: 0)
-    method_sig.mark_failed
     caller_loc = T.must(caller_locations(3 + caller_offset, 1))[0]
     definition_file, definition_line = method_sig.method.source_location
 

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

@@ -2,7 +2,7 @@
 # typed: true
 
 module T::Private::Methods
-  Declaration = Struct.new(:mod, :params, :returns, :bind, :mode, :checked, :finalized, :on_failure, :override_allow_incompatible, :type_parameters, :generated)
+  Declaration = Struct.new(:mod, :params, :returns, :bind, :mode, :checked, :finalized, :on_failure, :override_allow_incompatible, :type_parameters)
 
   class DeclBuilder
     attr_reader :decl
@@ -28,7 +28,6 @@ module T::Private::Methods
         ARG_NOT_PROVIDED, # on_failure
         nil, # override_allow_incompatible
         ARG_NOT_PROVIDED, # type_parameters
-        ARG_NOT_PROVIDED, # generated
       )
     end
 
@@ -88,9 +87,6 @@ module T::Private::Methods
       if level == :never && !decl.on_failure.equal?(ARG_NOT_PROVIDED)
         raise BuilderError.new("You can't use .checked(:never) with .on_failure because .on_failure will have no effect.")
       end
-      if !decl.generated.equal?(ARG_NOT_PROVIDED)
-        raise BuilderError.new("You can't use .checked with .generated.")
-      end
       if !T::Private::RuntimeLevels::LEVELS.include?(level)
         raise BuilderError.new("Invalid `checked` level '#{level}'. Use one of: #{T::Private::RuntimeLevels::LEVELS}.")
       end
@@ -109,33 +105,12 @@ module T::Private::Methods
       if decl.checked == :never
         raise BuilderError.new("You can't use .on_failure with .checked(:never) because .on_failure will have no effect.")
       end
-      if !decl.generated.equal?(ARG_NOT_PROVIDED)
-        raise BuilderError.new("You can't use .on_failure with .generated.")
-      end
 
       decl.on_failure = args
 
       self
     end
 
-    def generated
-      check_live!
-
-      if !decl.generated.equal?(ARG_NOT_PROVIDED)
-        raise BuilderError.new("You can't call .generated multiple times in a signature.")
-      end
-      if !decl.checked.equal?(ARG_NOT_PROVIDED)
-        raise BuilderError.new("You can't use .generated with .checked.")
-      end
-      if !decl.on_failure.equal?(ARG_NOT_PROVIDED)
-        raise BuilderError.new("You can't use .generated with .on_failure.")
-      end
-
-      decl.generated = true
-
-      self
-    end
-
     def abstract
       check_live!
 
@@ -238,9 +213,6 @@ module T::Private::Methods
       if decl.on_failure.equal?(ARG_NOT_PROVIDED)
         decl.on_failure = nil
       end
-      if decl.generated.equal?(ARG_NOT_PROVIDED)
-        decl.generated = false
-      end
       if decl.params.equal?(ARG_NOT_PROVIDED)
         decl.params = {}
       end

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

@@ -5,7 +5,7 @@ class T::Private::Methods::Signature
   attr_reader :method, :method_name, :arg_types, :kwarg_types, :block_type, :block_name,
               :rest_type, :rest_name, :keyrest_type, :keyrest_name, :bind,
               :return_type, :mode, :req_arg_count, :req_kwarg_names, :has_rest, :has_keyrest,
-              :check_level, :generated, :parameters, :on_failure, :override_allow_incompatible, :ever_failed
+              :check_level, :parameters, :on_failure, :override_allow_incompatible
 
   def self.new_untyped(method:, mode: T::Private::Methods::Modes.untyped, parameters: method.parameters)
     # Using `Untyped` ensures we'll get an error if we ever try validation on these.
@@ -28,11 +28,7 @@ class T::Private::Methods::Signature
     )
   end
 
-  def mark_failed
-    @ever_failed = true
-  end
-
-  def initialize(method:, method_name:, raw_arg_types:, raw_return_type:, bind:, mode:, check_level:, parameters: method.parameters, on_failure:, generated: false, override_allow_incompatible: false)
+  def initialize(method:, method_name:, raw_arg_types:, raw_return_type:, bind:, mode:, check_level:, parameters: method.parameters, on_failure:, override_allow_incompatible: false)
     @method = method
     @method_name = method_name
     @arg_types = []
@@ -54,8 +50,6 @@ class T::Private::Methods::Signature
     @parameters = parameters
     @on_failure = on_failure
     @override_allow_incompatible = override_allow_incompatible
-    @generated = generated
-    @ever_failed = false
 
     param_names = parameters.map {|_, name| name}
     declared_param_names = raw_arg_types.keys

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.4.5065
+  version: 0.4.5072
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-11-26 00:00:00.000000000 Z
+date: 2019-11-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest