Merge pull request #17908 from Homebrew/dependabot/bundler/Library/Ho…

…mebrew/sorbet-0.5.11500
Homebrew · Jul 30, 2024 · c609f24 · c609f24
2 parents 65725ed + 88eb68b
commit c609f24
Show file tree

Hide file tree

Showing 90 changed files with 51 additions and 54 deletions.
diff --git a/Library/Homebrew/Gemfile.lock b/Library/Homebrew/Gemfile.lock
@@ -112,15 +112,15 @@ GEM
     simplecov-html (0.12.3)
     simplecov_json_formatter (0.1.4)
     simpleidn (0.2.3)
-    sorbet (0.5.11495)
-      sorbet-static (= 0.5.11495)
-    sorbet-runtime (0.5.11495)
-    sorbet-static (0.5.11495-aarch64-linux)
-    sorbet-static (0.5.11495-universal-darwin)
-    sorbet-static (0.5.11495-x86_64-linux)
-    sorbet-static-and-runtime (0.5.11495)
-      sorbet (= 0.5.11495)
-      sorbet-runtime (= 0.5.11495)
+    sorbet (0.5.11500)
+      sorbet-static (= 0.5.11500)
+    sorbet-runtime (0.5.11500)
+    sorbet-static (0.5.11500-aarch64-linux)
+    sorbet-static (0.5.11500-universal-darwin)
+    sorbet-static (0.5.11500-x86_64-linux)
+    sorbet-static-and-runtime (0.5.11500)
+      sorbet (= 0.5.11500)
+      sorbet-runtime (= 0.5.11500)
     spoom (1.4.2)
       erubi (>= 1.10.0)
       prism (>= 0.28.0)
@@ -148,6 +148,7 @@ GEM
 
 PLATFORMS
   aarch64-linux
+  arm-linux
   arm64-darwin
   x86_64-darwin
   x86_64-linux

diff --git a/.../Homebrew/sorbet/rbi/gems/[email protected] → .../Homebrew/sorbet/rbi/gems/[email protected] b/.../Homebrew/sorbet/rbi/gems/[email protected] → .../Homebrew/sorbet/rbi/gems/[email protected]
diff --git a/Library/Homebrew/vendor/bundle/bundler/setup.rb b/Library/Homebrew/vendor/bundle/bundler/setup.rb
@@ -67,7 +67,7 @@ def self.extension_api_version
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/racc-1.8.1/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/parser-3.3.4.0/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/rainbow-3.1.1/lib")
-$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-runtime-0.5.11495/lib")
+$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-runtime-0.5.11500/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/parlour-9.0.0/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/patchelf-1.5.1/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/plist-3.7.1/lib")
@@ -101,11 +101,11 @@ def self.extension_api_version
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/simplecov_json_formatter-0.1.4/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/simplecov-0.22.0/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/simplecov-cobertura-2.1.0/lib")
-$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-static-0.5.11495-universal-darwin/lib")
-$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-0.5.11495/lib")
-$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-static-and-runtime-0.5.11495/lib")
+$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-static-0.5.11500-universal-darwin/lib")
+$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-0.5.11500/lib")
+$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/sorbet-static-and-runtime-0.5.11500/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/thor-1.3.1/lib")
-$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/spoom-1.4.1/lib")
+$:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/spoom-1.4.2/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/extensions/arm64-darwin-20/#{Gem.extension_api_version}/stackprof-0.2.26")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/stackprof-0.2.26/lib")
 $:.unshift File.expand_path("#{__dir__}/../#{RUBY_ENGINE}/#{Gem.ruby_api_version}/gems/yard-0.9.36/lib")

diff --git a/...t-runtime-0.5.11495/lib/sorbet-runtime.rb → ...t-runtime-0.5.11500/lib/sorbet-runtime.rb b/...t-runtime-0.5.11495/lib/sorbet-runtime.rb → ...t-runtime-0.5.11500/lib/sorbet-runtime.rb
diff --git a/...bet-runtime-0.5.11495/lib/types/_types.rb → ...bet-runtime-0.5.11500/lib/types/_types.rb b/...bet-runtime-0.5.11495/lib/types/_types.rb → ...bet-runtime-0.5.11500/lib/types/_types.rb
diff --git a/...ime-0.5.11495/lib/types/abstract_utils.rb → ...ime-0.5.11500/lib/types/abstract_utils.rb b/...ime-0.5.11495/lib/types/abstract_utils.rb → ...ime-0.5.11500/lib/types/abstract_utils.rb
diff --git a/...et-runtime-0.5.11495/lib/types/boolean.rb → ...et-runtime-0.5.11500/lib/types/boolean.rb b/...et-runtime-0.5.11495/lib/types/boolean.rb → ...et-runtime-0.5.11500/lib/types/boolean.rb
diff --git a/....11495/lib/types/compatibility_patches.rb → ....11500/lib/types/compatibility_patches.rb b/....11495/lib/types/compatibility_patches.rb → ....11500/lib/types/compatibility_patches.rb
diff --git a/...time-0.5.11495/lib/types/configuration.rb → ...time-0.5.11500/lib/types/configuration.rb b/...time-0.5.11495/lib/types/configuration.rb → ...time-0.5.11500/lib/types/configuration.rb
diff --git a/...orbet-runtime-0.5.11495/lib/types/enum.rb → ...orbet-runtime-0.5.11500/lib/types/enum.rb b/...orbet-runtime-0.5.11495/lib/types/enum.rb → ...orbet-runtime-0.5.11500/lib/types/enum.rb
diff --git a/...et-runtime-0.5.11495/lib/types/generic.rb → ...et-runtime-0.5.11500/lib/types/generic.rb b/...et-runtime-0.5.11495/lib/types/generic.rb → ...et-runtime-0.5.11500/lib/types/generic.rb
diff --git a/...et-runtime-0.5.11495/lib/types/helpers.rb → ...et-runtime-0.5.11500/lib/types/helpers.rb b/...et-runtime-0.5.11495/lib/types/helpers.rb → ...et-runtime-0.5.11500/lib/types/helpers.rb
diff --git a/....11495/lib/types/non_forcing_constants.rb → ....11500/lib/types/non_forcing_constants.rb b/....11495/lib/types/non_forcing_constants.rb → ....11500/lib/types/non_forcing_constants.rb
diff --git a/....11495/lib/types/private/abstract/data.rb → ....11500/lib/types/private/abstract/data.rb b/....11495/lib/types/private/abstract/data.rb → ....11500/lib/types/private/abstract/data.rb
diff --git a/...495/lib/types/private/abstract/declare.rb → ...500/lib/types/private/abstract/declare.rb b/...495/lib/types/private/abstract/declare.rb → ...500/lib/types/private/abstract/declare.rb
diff --git a/...11495/lib/types/private/abstract/hooks.rb → ...11500/lib/types/private/abstract/hooks.rb b/...11495/lib/types/private/abstract/hooks.rb → ...11500/lib/types/private/abstract/hooks.rb
diff --git a/...95/lib/types/private/abstract/validate.rb → ...00/lib/types/private/abstract/validate.rb b/...95/lib/types/private/abstract/validate.rb → ...00/lib/types/private/abstract/validate.rb
diff --git a/...5.11495/lib/types/private/caller_utils.rb → ...5.11500/lib/types/private/caller_utils.rb b/...5.11495/lib/types/private/caller_utils.rb → ...5.11500/lib/types/private/caller_utils.rb
diff --git a/...time-0.5.11495/lib/types/private/casts.rb → ...time-0.5.11500/lib/types/private/casts.rb b/...time-0.5.11495/lib/types/private/casts.rb → ...time-0.5.11500/lib/types/private/casts.rb
diff --git a/....5.11495/lib/types/private/class_utils.rb → ....5.11500/lib/types/private/class_utils.rb b/....5.11495/lib/types/private/class_utils.rb → ....5.11500/lib/types/private/class_utils.rb
diff --git a/...0.5.11495/lib/types/private/decl_state.rb → ...0.5.11500/lib/types/private/decl_state.rb b/...0.5.11495/lib/types/private/decl_state.rb → ...0.5.11500/lib/types/private/decl_state.rb
diff --git a/...time-0.5.11495/lib/types/private/final.rb → ...time-0.5.11500/lib/types/private/final.rb b/...time-0.5.11495/lib/types/private/final.rb → ...time-0.5.11500/lib/types/private/final.rb
diff --git a/...495/lib/types/private/methods/_methods.rb → ...500/lib/types/private/methods/_methods.rb b/...495/lib/types/private/methods/_methods.rb → ...500/lib/types/private/methods/_methods.rb
diff --git a/.../types/private/methods/call_validation.rb → .../types/private/methods/call_validation.rb b/.../types/private/methods/call_validation.rb → .../types/private/methods/call_validation.rb
diff --git a/...es/private/methods/call_validation_2_6.rb → ...es/private/methods/call_validation_2_6.rb b/...es/private/methods/call_validation_2_6.rb → ...es/private/methods/call_validation_2_6.rb
diff --git a/...es/private/methods/call_validation_2_7.rb → ...es/private/methods/call_validation_2_7.rb b/...es/private/methods/call_validation_2_7.rb → ...es/private/methods/call_validation_2_7.rb
diff --git a/...lib/types/private/methods/decl_builder.rb → ...lib/types/private/methods/decl_builder.rb b/...lib/types/private/methods/decl_builder.rb → ...lib/types/private/methods/decl_builder.rb
diff --git a/....11495/lib/types/private/methods/modes.rb → ....11500/lib/types/private/methods/modes.rb b/....11495/lib/types/private/methods/modes.rb → ....11500/lib/types/private/methods/modes.rb
diff --git a/...95/lib/types/private/methods/signature.rb → ...00/lib/types/private/methods/signature.rb b/...95/lib/types/private/methods/signature.rb → ...00/lib/types/private/methods/signature.rb
diff --git a/...s/private/methods/signature_validation.rb → ...s/private/methods/signature_validation.rb b/...s/private/methods/signature_validation.rb → ...s/private/methods/signature_validation.rb
diff --git a/....11495/lib/types/private/mixins/mixins.rb → ....11500/lib/types/private/mixins/mixins.rb b/....11495/lib/types/private/mixins/mixins.rb → ....11500/lib/types/private/mixins/mixins.rb
diff --git a/...time-0.5.11495/lib/types/private/retry.rb → ...time-0.5.11500/lib/types/private/retry.rb b/...time-0.5.11495/lib/types/private/retry.rb → ...time-0.5.11500/lib/types/private/retry.rb
diff --git a/...11495/lib/types/private/runtime_levels.rb → ...11500/lib/types/private/runtime_levels.rb b/...11495/lib/types/private/runtime_levels.rb → ...11500/lib/types/private/runtime_levels.rb
diff --git a/...ime-0.5.11495/lib/types/private/sealed.rb → ...ime-0.5.11500/lib/types/private/sealed.rb b/...ime-0.5.11495/lib/types/private/sealed.rb → ...ime-0.5.11500/lib/types/private/sealed.rb
diff --git a/...1495/lib/types/private/types/not_typed.rb → ...1500/lib/types/private/types/not_typed.rb b/...1495/lib/types/private/types/not_typed.rb → ...1500/lib/types/private/types/not_typed.rb
diff --git a/.../types/private/types/simple_pair_union.rb → .../types/private/types/simple_pair_union.rb b/.../types/private/types/simple_pair_union.rb → .../types/private/types/simple_pair_union.rb
diff --git a/.../lib/types/private/types/string_holder.rb → .../lib/types/private/types/string_holder.rb b/.../lib/types/private/types/string_holder.rb → .../lib/types/private/types/string_holder.rb
diff --git a/...495/lib/types/private/types/type_alias.rb → ...500/lib/types/private/types/type_alias.rb b/...495/lib/types/private/types/type_alias.rb → ...500/lib/types/private/types/type_alias.rb
diff --git a/...0.5.11495/lib/types/private/types/void.rb → ...0.5.11500/lib/types/private/types/void.rb b/...0.5.11495/lib/types/private/types/void.rb → ...0.5.11500/lib/types/private/types/void.rb
diff --git a/...ntime-0.5.11495/lib/types/props/_props.rb → ...ntime-0.5.11500/lib/types/props/_props.rb b/...ntime-0.5.11495/lib/types/props/_props.rb → ...ntime-0.5.11500/lib/types/props/_props.rb
diff --git a/...-0.5.11495/lib/types/props/constructor.rb → ...-0.5.11500/lib/types/props/constructor.rb b/...-0.5.11495/lib/types/props/constructor.rb → ...-0.5.11500/lib/types/props/constructor.rb
diff --git a/...-0.5.11495/lib/types/props/custom_type.rb → ...-0.5.11500/lib/types/props/custom_type.rb b/...-0.5.11495/lib/types/props/custom_type.rb → ...-0.5.11500/lib/types/props/custom_type.rb
diff --git a/...me-0.5.11495/lib/types/props/decorator.rb → ...me-0.5.11500/lib/types/props/decorator.rb b/...me-0.5.11495/lib/types/props/decorator.rb → ...me-0.5.11500/lib/types/props/decorator.rb
diff --git a/...ntime-0.5.11495/lib/types/props/errors.rb → ...ntime-0.5.11500/lib/types/props/errors.rb b/...ntime-0.5.11495/lib/types/props/errors.rb → ...ntime-0.5.11500/lib/types/props/errors.rb
diff --git a/.../types/props/generated_code_validation.rb → .../types/props/generated_code_validation.rb b/.../types/props/generated_code_validation.rb → .../types/props/generated_code_validation.rb
diff --git a/...s/props/has_lazily_specialized_methods.rb → ...s/props/has_lazily_specialized_methods.rb b/...s/props/has_lazily_specialized_methods.rb → ...s/props/has_lazily_specialized_methods.rb
diff --git a/...ime-0.5.11495/lib/types/props/optional.rb → ...ime-0.5.11500/lib/types/props/optional.rb b/...ime-0.5.11495/lib/types/props/optional.rb → ...ime-0.5.11500/lib/types/props/optional.rb
diff --git a/...ntime-0.5.11495/lib/types/props/plugin.rb → ...ntime-0.5.11500/lib/types/props/plugin.rb b/...ntime-0.5.11495/lib/types/props/plugin.rb → ...ntime-0.5.11500/lib/types/props/plugin.rb
diff --git a/...11495/lib/types/props/pretty_printable.rb → ...11500/lib/types/props/pretty_printable.rb b/...11495/lib/types/props/pretty_printable.rb → ...11500/lib/types/props/pretty_printable.rb
diff --git a/.../lib/types/props/private/apply_default.rb → .../lib/types/props/private/apply_default.rb b/.../lib/types/props/private/apply_default.rb → .../lib/types/props/private/apply_default.rb
diff --git a/...s/props/private/deserializer_generator.rb → ...s/props/private/deserializer_generator.rb b/...s/props/private/deserializer_generator.rb → ...s/props/private/deserializer_generator.rb
diff --git a/...5.11495/lib/types/props/private/parser.rb → ...5.11500/lib/types/props/private/parser.rb b/...5.11495/lib/types/props/private/parser.rb → ...5.11500/lib/types/props/private/parser.rb
diff --git a/...ib/types/props/private/serde_transform.rb → ...ib/types/props/private/serde_transform.rb b/...ib/types/props/private/serde_transform.rb → ...ib/types/props/private/serde_transform.rb
diff --git a/...pes/props/private/serializer_generator.rb → ...pes/props/private/serializer_generator.rb b/...pes/props/private/serializer_generator.rb → ...pes/props/private/serializer_generator.rb
diff --git a/...lib/types/props/private/setter_factory.rb → ...lib/types/props/private/setter_factory.rb b/...lib/types/props/private/setter_factory.rb → ...lib/types/props/private/setter_factory.rb
diff --git a/...0.5.11495/lib/types/props/serializable.rb → ...0.5.11500/lib/types/props/serializable.rb b/...0.5.11495/lib/types/props/serializable.rb → ...0.5.11500/lib/types/props/serializable.rb
diff --git a/....11495/lib/types/props/type_validation.rb → ....11500/lib/types/props/type_validation.rb b/....11495/lib/types/props/type_validation.rb → ....11500/lib/types/props/type_validation.rb
diff --git a/...untime-0.5.11495/lib/types/props/utils.rb → ...untime-0.5.11500/lib/types/props/utils.rb b/...untime-0.5.11495/lib/types/props/utils.rb → ...untime-0.5.11500/lib/types/props/utils.rb
diff --git a/...11495/lib/types/props/weak_constructor.rb → ...11500/lib/types/props/weak_constructor.rb b/...11495/lib/types/props/weak_constructor.rb → ...11500/lib/types/props/weak_constructor.rb
diff --git a/...sorbet-runtime-0.5.11495/lib/types/sig.rb → ...sorbet-runtime-0.5.11500/lib/types/sig.rb b/...sorbet-runtime-0.5.11495/lib/types/sig.rb → ...sorbet-runtime-0.5.11500/lib/types/sig.rb
diff --git a/...bet-runtime-0.5.11495/lib/types/struct.rb → ...bet-runtime-0.5.11500/lib/types/struct.rb b/...bet-runtime-0.5.11495/lib/types/struct.rb → ...bet-runtime-0.5.11500/lib/types/struct.rb
diff --git a/...ime-0.5.11495/lib/types/types/anything.rb → ...ime-0.5.11500/lib/types/types/anything.rb b/...ime-0.5.11495/lib/types/types/anything.rb → ...ime-0.5.11500/lib/types/types/anything.rb
diff --git a/...5.11495/lib/types/types/attached_class.rb → ...5.11500/lib/types/types/attached_class.rb b/...5.11495/lib/types/types/attached_class.rb → ...5.11500/lib/types/types/attached_class.rb
diff --git a/...runtime-0.5.11495/lib/types/types/base.rb → ...runtime-0.5.11500/lib/types/types/base.rb b/...runtime-0.5.11495/lib/types/types/base.rb → ...runtime-0.5.11500/lib/types/types/base.rb
@@ -21,7 +21,7 @@ def recursively_valid?(obj)
       valid?(obj)
     end
 
-    def valid?(obj)
+    define_method(:valid?) do |_obj|
       raise NotImplementedError
     end
 
@@ -35,12 +35,12 @@ def valid?(obj)
 
     # Force any lazy initialization that this type might need to do
     # It's unusual to call this directly; you probably want to call it indirectly via `T::Utils.run_all_sig_blocks`.
-    def build_type
+    define_method(:build_type) do
       raise NotImplementedError
     end
 
     # Equality is based on name, so be sure the name reflects all relevant state when implementing.
-    def name
+    define_method(:name) do
       raise NotImplementedError
     end
 

diff --git a/...ime-0.5.11495/lib/types/types/class_of.rb → ...ime-0.5.11500/lib/types/types/class_of.rb b/...ime-0.5.11495/lib/types/types/class_of.rb → ...ime-0.5.11500/lib/types/types/class_of.rb
@@ -21,7 +21,7 @@ def name
 
     # overrides Base
     def valid?(obj)
-      obj.is_a?(Module) && obj <= @type
+      obj.is_a?(Module) && (obj <= @type || false)
     end
 
     # overrides Base

diff --git a/...runtime-0.5.11495/lib/types/types/enum.rb → ...runtime-0.5.11500/lib/types/types/enum.rb b/...runtime-0.5.11495/lib/types/types/enum.rb → ...runtime-0.5.11500/lib/types/types/enum.rb
diff --git a/...-0.5.11495/lib/types/types/fixed_array.rb → ...-0.5.11500/lib/types/types/fixed_array.rb b/...-0.5.11495/lib/types/types/fixed_array.rb → ...-0.5.11500/lib/types/types/fixed_array.rb
diff --git a/...e-0.5.11495/lib/types/types/fixed_hash.rb → ...e-0.5.11500/lib/types/types/fixed_hash.rb b/...e-0.5.11495/lib/types/types/fixed_hash.rb → ...e-0.5.11500/lib/types/types/fixed_hash.rb
diff --git a/...0.5.11495/lib/types/types/intersection.rb → ...0.5.11500/lib/types/types/intersection.rb b/...0.5.11495/lib/types/types/intersection.rb → ...0.5.11500/lib/types/types/intersection.rb
diff --git a/...ime-0.5.11495/lib/types/types/noreturn.rb → ...ime-0.5.11500/lib/types/types/noreturn.rb b/...ime-0.5.11495/lib/types/types/noreturn.rb → ...ime-0.5.11500/lib/types/types/noreturn.rb
diff --git a/...runtime-0.5.11495/lib/types/types/proc.rb → ...runtime-0.5.11500/lib/types/types/proc.rb b/...runtime-0.5.11495/lib/types/types/proc.rb → ...runtime-0.5.11500/lib/types/types/proc.rb
@@ -51,7 +51,7 @@ def valid?(obj)
           return false
         end
         arg_types.values.zip(other.arg_types.values).all? do |a, b|
-          b.subtype_of?(a)
+          !b.nil? && b.subtype_of?(a)
         end && returns.subtype_of?(other.returns)
       else
         false

diff --git a/...me-0.5.11495/lib/types/types/self_type.rb → ...me-0.5.11500/lib/types/types/self_type.rb b/...me-0.5.11495/lib/types/types/self_type.rb → ...me-0.5.11500/lib/types/types/self_type.rb
diff --git a/...ntime-0.5.11495/lib/types/types/simple.rb → ...ntime-0.5.11500/lib/types/types/simple.rb b/...ntime-0.5.11495/lib/types/types/simple.rb → ...ntime-0.5.11500/lib/types/types/simple.rb
diff --git a/...ntime-0.5.11495/lib/types/types/t_enum.rb → ...ntime-0.5.11500/lib/types/types/t_enum.rb b/...ntime-0.5.11495/lib/types/types/t_enum.rb → ...ntime-0.5.11500/lib/types/types/t_enum.rb
diff --git a/...-0.5.11495/lib/types/types/type_member.rb → ...-0.5.11500/lib/types/types/type_member.rb b/...-0.5.11495/lib/types/types/type_member.rb → ...-0.5.11500/lib/types/types/type_member.rb
diff --git a/...5.11495/lib/types/types/type_parameter.rb → ...5.11500/lib/types/types/type_parameter.rb b/...5.11495/lib/types/types/type_parameter.rb → ...5.11500/lib/types/types/type_parameter.rb
diff --git a/....5.11495/lib/types/types/type_template.rb → ....5.11500/lib/types/types/type_template.rb b/....5.11495/lib/types/types/type_template.rb → ....5.11500/lib/types/types/type_template.rb
diff --git a/....5.11495/lib/types/types/type_variable.rb → ....5.11500/lib/types/types/type_variable.rb b/....5.11495/lib/types/types/type_variable.rb → ....5.11500/lib/types/types/type_variable.rb
diff --git a/...-0.5.11495/lib/types/types/typed_array.rb → ...-0.5.11500/lib/types/types/typed_array.rb b/...-0.5.11495/lib/types/types/typed_array.rb → ...-0.5.11500/lib/types/types/typed_array.rb
@@ -53,7 +53,7 @@ def self.type_for_module(mod)
 
     class Untyped < TypedArray
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def valid?(obj)

diff --git a/...-0.5.11495/lib/types/types/typed_class.rb → ...-0.5.11500/lib/types/types/typed_class.rb b/...-0.5.11495/lib/types/types/typed_class.rb → ...-0.5.11500/lib/types/types/typed_class.rb
@@ -71,7 +71,7 @@ def self.type_for_module(mod)
 
     class Untyped < TypedClass
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def freeze

diff --git a/...11495/lib/types/types/typed_enumerable.rb → ...11500/lib/types/types/typed_enumerable.rb b/...11495/lib/types/types/typed_enumerable.rb → ...11500/lib/types/types/typed_enumerable.rb
@@ -47,11 +47,10 @@ def recursively_valid?(obj)
           true
         end
       when Hash
-        return false unless type.is_a?(FixedArray)
-        types = type.types
-        return false if types.count != 2
-        key_type = types[0]
-        value_type = types[1]
+        type_ = self.type
+        return false unless type_.is_a?(FixedArray)
+        key_type, value_type = type_.types
+        return false if key_type.nil? || value_type.nil? || type_.types.size > 2
         obj.each_pair do |key, val|
           # Some objects (I'm looking at you Rack::Utils::HeaderHash) don't
           # iterate over a [key, value] array, so we can't just use the type.recursively_valid?(v)
@@ -179,7 +178,7 @@ def describe_obj(obj)
 
     class Untyped < TypedEnumerable
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def valid?(obj)

diff --git a/...11495/lib/types/types/typed_enumerator.rb → ...11500/lib/types/types/typed_enumerator.rb b/...11495/lib/types/types/typed_enumerator.rb → ...11500/lib/types/types/typed_enumerator.rb
@@ -28,7 +28,7 @@ def new(*args, &blk)
 
     class Untyped < TypedEnumerator
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def valid?(obj)

diff --git a/...lib/types/types/typed_enumerator_chain.rb → ...lib/types/types/typed_enumerator_chain.rb b/...lib/types/types/typed_enumerator_chain.rb → ...lib/types/types/typed_enumerator_chain.rb
@@ -28,7 +28,7 @@ def new(*args, &blk)
 
     class Untyped < TypedEnumeratorChain
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def valid?(obj)

diff --git a/.../lib/types/types/typed_enumerator_lazy.rb → .../lib/types/types/typed_enumerator_lazy.rb b/.../lib/types/types/typed_enumerator_lazy.rb → .../lib/types/types/typed_enumerator_lazy.rb
@@ -28,7 +28,7 @@ def new(*args, &blk)
 
     class Untyped < TypedEnumeratorLazy
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def valid?(obj)

diff --git a/...e-0.5.11495/lib/types/types/typed_hash.rb → ...e-0.5.11500/lib/types/types/typed_hash.rb b/...e-0.5.11495/lib/types/types/typed_hash.rb → ...e-0.5.11500/lib/types/types/typed_hash.rb
diff --git a/...-0.5.11495/lib/types/types/typed_range.rb → ...-0.5.11500/lib/types/types/typed_range.rb b/...-0.5.11495/lib/types/types/typed_range.rb → ...-0.5.11500/lib/types/types/typed_range.rb
@@ -4,7 +4,7 @@
 module T::Types
   class TypedRange < TypedEnumerable
     def underlying_class
-      Hash
+      Range
     end
 
     # overrides Base

diff --git a/...me-0.5.11495/lib/types/types/typed_set.rb → ...me-0.5.11500/lib/types/types/typed_set.rb b/...me-0.5.11495/lib/types/types/typed_set.rb → ...me-0.5.11500/lib/types/types/typed_set.rb
@@ -4,7 +4,7 @@
 module T::Types
   class TypedSet < TypedEnumerable
     def underlying_class
-      Hash
+      Set
     end
 
     # overrides Base
@@ -37,7 +37,7 @@ def new(*args)
 
     class Untyped < TypedSet
       def initialize
-        super(T.untyped)
+        super(T::Types::Untyped::Private::INSTANCE)
       end
 
       def valid?(obj)

diff --git a/...untime-0.5.11495/lib/types/types/union.rb → ...untime-0.5.11500/lib/types/types/union.rb b/...untime-0.5.11495/lib/types/types/union.rb → ...untime-0.5.11500/lib/types/types/union.rb
diff --git a/...time-0.5.11495/lib/types/types/untyped.rb → ...time-0.5.11500/lib/types/types/untyped.rb b/...time-0.5.11495/lib/types/types/untyped.rb → ...time-0.5.11500/lib/types/types/untyped.rb
diff --git a/...rbet-runtime-0.5.11495/lib/types/utils.rb → ...rbet-runtime-0.5.11500/lib/types/utils.rb b/...rbet-runtime-0.5.11495/lib/types/utils.rb → ...rbet-runtime-0.5.11500/lib/types/utils.rb
@@ -155,7 +155,7 @@ def self.lift_enum(enum)
       raise ArgumentError.new("#{enum.inspect} is not a T.deprecated_enum")
     end
 
-    classes = enum.values.map(&:class).uniq
+    classes = T.unsafe(enum.values).map(&:class).uniq
     if classes.empty?
       T.untyped
     elsif classes.length > 1