sorbet-runtime 0.4.4858 → 0.4.4865

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 396a3ef8dbe8e6e9cd7afd03431befad0b6e0796014cc2d9fc0c37552fd9d08c
-  data.tar.gz: 295f887fb11d863278d9261a68cc64cffc79ea81fea7f9f6afa8ca8dc24b642d
+  metadata.gz: 94a18cf9e2e1f9f37174616403474310fed12cf369517e901f7769a231cfab38
+  data.tar.gz: 70b8cf1a76942f9a4371370dfb92cba1f08c72022cce060bd217cab5c9af502c
 SHA512:
-  metadata.gz: 3030d34ade9efeab779e468fca172338617fd32862301d8c6d0912e96d7cff392294ad33379b47137e247024b4b2a8661bd9bea10259ee8b1e16badf8a9ea666
-  data.tar.gz: 8818469584b79640e003a739b18094d67b3871ed0c62cd072d3d8c304a4aefedecdd8bc4ce59d15beec94becd057f33eb3df0cea5e0a51642ed152eb825d8e67
+  metadata.gz: 2854f99897e4859cc5fdfe3d27bc7f93038096be1ce63bbdab097fa44e45e98a3ff31e550808a11ea41f6e4e71a576b3bc2c6e9188645bbd081e9e7181f07b7b
+  data.tar.gz: bb1ee9d0eb130e64274a8b6c831fd573998df9a7f77f8c1541287cd02f738233a726cf196bbc2819dc36ac7d2eed4bd97ab986e14700dd35bbb821e48bffec37

data/lib/sorbet-runtime.rb

@@ -42,6 +42,7 @@ require_relative 'types/types/fixed_hash'
 require_relative 'types/types/intersection'
 require_relative 'types/types/noreturn'
 require_relative 'types/types/proc'
+require_relative 'types/types/attached_class'
 require_relative 'types/types/self_type'
 require_relative 'types/types/simple'
 require_relative 'types/types/opus_enum'

data/lib/types/_types.rb

@@ -65,6 +65,11 @@ module T
     T::Types::SelfType.new
   end
 
+  # Matches the instance type in a singleton-class context
+  def self.experimental_attached_class
+    T::Types::AttachedClassType.new
+  end
+
   # Matches any class that subclasses or includes the provided class
   # or module
   def self.class_of(klass)

data/lib/types/types/attached_class.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+# typed: true
+
+module T::Types
+  # Modeling AttachedClass properly at runtime would require additional
+  # tracking, so at runtime we permit all values and rely on the static checker.
+  # As AttachedClass is modeled statically as a type member on every singleton
+  # class, this is consistent with the runtime behavior for all type members.
+  class AttachedClassType < Base
+
+    def initialize(); end
+
+    # @override Base
+    def name
+      "AttachedClass"
+    end
+
+    # @override Base
+    def valid?(obj)
+      true
+    end
+
+    # @override Base
+    private def subtype_of_single?(other)
+      case other
+      when AttachedClassType
+        true
+      else
+        false
+      end
+    end
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: sorbet-runtime
 version: !ruby/object:Gem::Version
-  version: 0.4.4858
+  version: 0.4.4865
 platform: ruby
 authors:
 - Stripe
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-10-11 00:00:00.000000000 Z
+date: 2019-10-12 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -117,6 +117,7 @@ files:
 - lib/types/runtime_profiled.rb
 - lib/types/sig.rb
 - lib/types/struct.rb
+- lib/types/types/attached_class.rb
 - lib/types/types/base.rb
 - lib/types/types/class_of.rb
 - lib/types/types/enum.rb