sorbet-runtime 0.5.10780 → 0.5.10782

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 31239463630de70549f832a1a15e4c2d2b59ef7d1cfa692ae056af54a6cf2d44
-  data.tar.gz: 8f324b78b4c1d4b41532f658d147fa90428276c2896db228795280c5ac99eafa
+  metadata.gz: 775572c19008cfccf4857dea03c7a20af6425eeb6e9c252d7411b6d07b102bd7
+  data.tar.gz: 4372ece549f9e340865242ad15e0b3d1bb4ecf5e1532f1867bc7d315a4ae95ca
 SHA512:
-  metadata.gz: 015a19f9d00ea39db31c513736644c9e762d95f7a1fbb8c609c064307c124de3ee6bf7f63406341bb6fabc86952e79fb4c3f0d830e8c7f8193e8726fdac4e669
-  data.tar.gz: cc9161f03c78e9c89e73ffd18ed1402e1998a90aa1996d2a3cb2cb9381db4b123c55ca7897a6b7ffbe22d81b83cab0f89c75c4412724337c34dd0811b5f10f37
+  metadata.gz: df20b3fbeb6e4d7c2abafcb49d029d35acc6c4c3c4a94768b32653d9c5377726db173c7f93719549c4271baddf74d7736ab2d90c4543cb0116cd59a355f7535b
+  data.tar.gz: 15d21f62ed38ce9cd1c132b63e4639ab19aed9c29abe2bfbb79fbdbf10d0372abdc8595b748110fe33f7cdf83b65cdaa034e64a55e9267d2e46fed53e790fda1

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.10782
 platform: ruby
 authors:
 - Stripe
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2023-04-14 00:00:00.000000000 Z
+date: 2023-04-15 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