sorbet-runtime 0.5.6393 → 0.5.6401

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7fbf46d63aaa9683a0f5cc9b37bd9508119fe5eb01f76f34edee83b9fda3dbb8
-  data.tar.gz: a5cba0e8924ef62d48ba29b717299fcfd03988336964c13f03c9a2dbdb311e5b
+  metadata.gz: 3baf5e6dbee3cab2198e345e42c1875e2336646b30a189992a9c2e3e129ca53b
+  data.tar.gz: c6a0eca3846188cc89e8ec44474907b27cb29fa6281fd2a93719e488a776697b
 SHA512:
-  metadata.gz: 74becf00b4cd97520b801b09174f154b50211826cf38eba103342e7c7827cd380134ceaa804ee7fdaf2ca79750ab242362643798a07d8dee00413bf4f80c1d30
-  data.tar.gz: b59514f9e53afa11a6eb1c954d079a155aefd13ce9f78dadb90dd1a0ada42e0f85012276f762759436d3abf932edf7b2a0226708c882842ee170fd24ecf2e196
+  metadata.gz: 7250061e134ee0d2ae8ccf0162610491853702164a02698962c09ba13246bc2aa779d676e95090e21338a0be22a159245d53414f95bd9186a096131736c1d7ba
+  data.tar.gz: 1a26c625cbd6f7a3621c6d1a715182ca7b487485aa822de10f5f32d659ce4b743bb44ce14ae0596a9e788c68398f9ac36ab2bb3445b88c5f670912708fd76b17

data/lib/types/_types.rb

@@ -147,6 +147,25 @@ module T
     Private::Casts.cast(value, type, cast_method: "T.let")
   end
 
+  # Tells the type checker to treat `self` in the current block as `type`.
+  # Useful for blocks that are captured and executed later with instance_exec.
+  # Use like:
+  #
+  #  seconds = lambda do
+  #    T.bind(self, NewBinding)
+  #    ...
+  #  end
+  #
+  # `T.bind` behaves like `T.cast` in that it is assumed to be true statically.
+  #
+  # If `checked` is true, raises an exception at runtime if the value
+  # doesn't match the type (this is the default).
+  def self.bind(value, type, checked: true)
+    return value unless checked
+
+    Private::Casts.cast(value, type, cast_method: "T.bind")
+  end
+
   # Tells the typechecker to ensure that `value` is of type `type` (if not, the typechecker will
   # fail). Use this for debugging typechecking errors, or to ensure that type information is
   # statically known and being checked appropriately. If `checked` is true, raises an exception at

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.)"

metadata

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