sorbet-runtime 0.5.10780 → 0.5.10783

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 31239463630de70549f832a1a15e4c2d2b59ef7d1cfa692ae056af54a6cf2d44
-  data.tar.gz: 8f324b78b4c1d4b41532f658d147fa90428276c2896db228795280c5ac99eafa
+  metadata.gz: 2c26b0ec87fd4ba51b73c584e3a2d8f93510c2ebfe163b3c530adc421f2063d3
+  data.tar.gz: 4be03d3968417df3418c0d518c12054cc873ff2a4b57ec51ec6f1bf2a8af479f
 SHA512:
-  metadata.gz: 015a19f9d00ea39db31c513736644c9e762d95f7a1fbb8c609c064307c124de3ee6bf7f63406341bb6fabc86952e79fb4c3f0d830e8c7f8193e8726fdac4e669
-  data.tar.gz: cc9161f03c78e9c89e73ffd18ed1402e1998a90aa1996d2a3cb2cb9381db4b123c55ca7897a6b7ffbe22d81b83cab0f89c75c4412724337c34dd0811b5f10f37
+  metadata.gz: a8cb11cd914f31dcb52fb06238f692f8340a1c470ed305ce9d5e344fbc36e5786cca6614bc8967e79247a7a61582cfc01622d805777b1e3ec0ddc57e5927ff3e
+  data.tar.gz: 0e5caab9c74cc762a2754399b0cf0f7f2c63c241b1d5bec5a1a395427a8cd33a5989491301e96ea2a17e0a2faf39f58b0e8d139e513dbdc4fb3727c6bcb5a8d7

data/lib/sorbet-runtime.rb

@@ -37,6 +37,7 @@ require_relative 'types/types/fixed_array'
 require_relative 'types/types/fixed_hash'
 require_relative 'types/types/intersection'
 require_relative 'types/types/noreturn'
+require_relative 'types/types/anything'
 require_relative 'types/types/proc'
 require_relative 'types/types/attached_class'
 require_relative 'types/types/self_type'

data/lib/types/_types.rb

@@ -47,6 +47,10 @@ module T
     T::Types::NoReturn::Private::INSTANCE
   end
 
+  def self.anything
+    T::Types::Anything::Private::INSTANCE
+  end
+
   # T.all(<Type>, <Type>, ...) -- matches an object that has all of the types listed
   def self.all(type_a, type_b, *types)
     T::Types::Intersection.new([type_a, type_b] + types)

data/lib/types/types/anything.rb

@@ -0,0 +1,31 @@
+# frozen_string_literal: true
+# typed: true
+
+module T::Types
+  # The top type
+  class Anything < Base
+    def initialize; end
+
+    # overrides Base
+    def name
+      "T.anything"
+    end
+
+    # overrides Base
+    def valid?(obj)
+      true
+    end
+
+    # overrides Base
+    private def subtype_of_single?(other)
+      case other
+      when T::Types::Anything then true
+      else false
+      end
+    end
+
+    module Private
+      INSTANCE = Anything.new.freeze
+    end
+  end
+end

data/lib/types/types/base.rb

@@ -50,6 +50,10 @@ module T::Types
         t2 = t2.aliased_type
       end
 
+      if t2.is_a?(T::Types::Anything)
+        return true
+      end
+
       if t1.is_a?(T::Private::Types::TypeAlias)
         return t1.aliased_type.subtype_of?(t2)
       end

data/lib/types/types/noreturn.rb

@@ -4,7 +4,6 @@
 module T::Types
   # The bottom type
   class NoReturn < Base
-
     def initialize; end
 
     # overrides Base

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.5.10780
+  version: 0.5.10783
 platform: ruby
 authors:
 - Stripe
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-04-14 00:00:00.000000000 Z
+date: 2023-04-17 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -215,6 +215,7 @@ files:
 - lib/types/props/weak_constructor.rb
 - lib/types/sig.rb
 - lib/types/struct.rb
+- lib/types/types/anything.rb
 - lib/types/types/attached_class.rb
 - lib/types/types/base.rb
 - lib/types/types/class_of.rb