solargraph 0.58.3 → 0.60.0

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: solargraph
 version: !ruby/object:Gem::Version
-  version: 0.58.3
+  version: 0.60.0
 platform: ruby
 authors:
 - Fred Snyder
 bindir: bin
 cert_chain: []
-date: 2026-03-09 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: ast
@@ -156,33 +156,33 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0.1'
 - !ruby/object:Gem::Dependency
-  name: ostruct
+  name: open3
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.6'
+        version: 0.2.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.6'
+        version: 0.2.1
 - !ruby/object:Gem::Dependency
-  name: open3
+  name: ostruct
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.2.1
+        version: '0.6'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.2.1
+        version: '0.6'
 - !ruby/object:Gem::Dependency
   name: parser
   requirement: !ruby/object:Gem::Requirement
@@ -217,20 +217,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 3.6.1
-    - - "<="
-      - !ruby/object:Gem::Version
-        version: 4.0.0.dev.4
+        version: 3.10.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 3.6.1
-    - - "<="
-      - !ruby/object:Gem::Version
-        version: 4.0.0.dev.4
+        version: 3.10.0
 - !ruby/object:Gem::Dependency
   name: reverse_markdown
   requirement: !ruby/object:Gem::Requirement
@@ -259,6 +253,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '1.76'
+- !ruby/object:Gem::Dependency
+  name: sord
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '7.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '7.0'
 - !ruby/object:Gem::Dependency
   name: thor
   requirement: !ruby/object:Gem::Requirement
@@ -308,33 +316,33 @@ dependencies:
       - !ruby/object:Gem::Version
         version: 0.9.24
 - !ruby/object:Gem::Dependency
-  name: yard-solargraph
+  name: yard-activesupport-concern
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.1'
+        version: '0.0'
 - !ruby/object:Gem::Dependency
-  name: yard-activesupport-concern
+  name: yard-solargraph
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.0'
+        version: '0.1'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '0.0'
+        version: '0.1'
 - !ruby/object:Gem::Dependency
   name: pry
   requirement: !ruby/object:Gem::Requirement
@@ -391,6 +399,20 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '3.5'
+- !ruby/object:Gem::Dependency
+  name: overcommit
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.68.0
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.68.0
 - !ruby/object:Gem::Dependency
   name: rubocop
   requirement: !ruby/object:Gem::Requirement
@@ -489,20 +511,6 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '0.7'
-- !ruby/object:Gem::Dependency
-  name: overcommit
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 0.68.0
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 0.68.0
 - !ruby/object:Gem::Dependency
   name: webmock
   requirement: !ruby/object:Gem::Requirement
@@ -538,6 +546,7 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- ".envrc"
 - ".gitattributes"
 - ".github/FUNDING.yml"
 - ".github/workflows/linting.yml"
@@ -566,6 +575,7 @@ files:
 - lib/solargraph/api_map/store.rb
 - lib/solargraph/bench.rb
 - lib/solargraph/complex_type.rb
+- lib/solargraph/complex_type/conformance.rb
 - lib/solargraph/complex_type/type_methods.rb
 - lib/solargraph/complex_type/unique_type.rb
 - lib/solargraph/convention.rb
@@ -688,12 +698,14 @@ files:
 - lib/solargraph/parser/parser_gem/node_processors/masgn_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/namespace_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/opasgn_node.rb
+- lib/solargraph/parser/parser_gem/node_processors/or_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/orasgn_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/resbody_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/sclass_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/send_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/sym_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/until_node.rb
+- lib/solargraph/parser/parser_gem/node_processors/when_node.rb
 - lib/solargraph/parser/parser_gem/node_processors/while_node.rb
 - lib/solargraph/parser/region.rb
 - lib/solargraph/parser/snippet.rb
@@ -706,6 +718,7 @@ files:
 - lib/solargraph/pin/class_variable.rb
 - lib/solargraph/pin/closure.rb
 - lib/solargraph/pin/common.rb
+- lib/solargraph/pin/compound_statement.rb
 - lib/solargraph/pin/constant.rb
 - lib/solargraph/pin/conversions.rb
 - lib/solargraph/pin/delegated_method.rb
@@ -728,6 +741,7 @@ files:
 - lib/solargraph/pin/reference/prepend.rb
 - lib/solargraph/pin/reference/require.rb
 - lib/solargraph/pin/reference/superclass.rb
+- lib/solargraph/pin/reference/type_alias.rb
 - lib/solargraph/pin/search.rb
 - lib/solargraph/pin/signature.rb
 - lib/solargraph/pin/singleton.rb
@@ -742,6 +756,7 @@ files:
 - lib/solargraph/rbs_map/core_fills.rb
 - lib/solargraph/rbs_map/core_map.rb
 - lib/solargraph/rbs_map/stdlib_map.rb
+- lib/solargraph/rbs_translator.rb
 - lib/solargraph/server_methods.rb
 - lib/solargraph/shell.rb
 - lib/solargraph/source.rb
@@ -774,8 +789,6 @@ files:
 - lib/solargraph/source_map/data.rb
 - lib/solargraph/source_map/mapper.rb
 - lib/solargraph/type_checker.rb
-- lib/solargraph/type_checker/checks.rb
-- lib/solargraph/type_checker/param_def.rb
 - lib/solargraph/type_checker/problem.rb
 - lib/solargraph/type_checker/rules.rb
 - lib/solargraph/version.rb
@@ -788,27 +801,36 @@ files:
 - lib/solargraph/views/search.erb
 - lib/solargraph/workspace.rb
 - lib/solargraph/workspace/config.rb
+- lib/solargraph/workspace/gemspecs.rb
 - lib/solargraph/workspace/require_paths.rb
 - lib/solargraph/yard_map.rb
 - lib/solargraph/yard_map/cache.rb
+- lib/solargraph/yard_map/directives.rb
+- lib/solargraph/yard_map/directives/attribute_directive.rb
+- lib/solargraph/yard_map/directives/domain_directive.rb
+- lib/solargraph/yard_map/directives/method_directive.rb
+- lib/solargraph/yard_map/directives/override_directive.rb
+- lib/solargraph/yard_map/directives/parse_directive.rb
+- lib/solargraph/yard_map/directives/visibility_directive.rb
 - lib/solargraph/yard_map/helpers.rb
+- lib/solargraph/yard_map/macro.rb
 - lib/solargraph/yard_map/mapper.rb
 - lib/solargraph/yard_map/mapper/to_constant.rb
 - lib/solargraph/yard_map/mapper/to_method.rb
 - lib/solargraph/yard_map/mapper/to_namespace.rb
-- lib/solargraph/yard_map/to_method.rb
 - lib/solargraph/yard_tags.rb
 - lib/solargraph/yardoc.rb
 - rbs/fills/bundler/0/bundler.rbs
 - rbs/fills/open3/0/open3.rbs
 - rbs/fills/rubygems/0/basic_specification.rbs
+- rbs/fills/rubygems/0/dependency.rbs
 - rbs/fills/rubygems/0/errors.rbs
 - rbs/fills/rubygems/0/spec_fetcher.rbs
 - rbs/fills/rubygems/0/specification.rbs
-- rbs/fills/tuple/tuple.rbs
 - rbs/shims/ast/0/node.rbs
 - rbs/shims/ast/2.4/.rbs_meta.yaml
 - rbs/shims/ast/2.4/ast.rbs
+- rbs/shims/diff-lcs/1.5/diff-lcs.rbs
 - rbs/shims/parser/3.2.0.1/builders/default.rbs
 - rbs/shims/parser/3.2.0.1/manifest.yaml
 - rbs/shims/parser/3.2.0.1/parser.rbs
@@ -834,14 +856,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: '3.0'
+      version: '3.1'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.6.7
+rubygems_version: 4.0.6
 specification_version: 4
 summary: A Ruby language server
 test_files: []

data/lib/solargraph/type_checker/checks.rb

@@ -1,124 +0,0 @@
-# frozen_string_literal: true
-
-module Solargraph
-  class TypeChecker
-    # Helper methods for performing type checks
-    #
-    module Checks
-      module_function
-
-      # Compare an expected type with an inferred type. Common usage is to
-      # check if the type declared in a method's @return tag matches the type
-      # inferred from static analysis of the code.
-      #
-      # @param api_map [ApiMap]
-      # @param expected [ComplexType]
-      # @param inferred [ComplexType]
-      # @return [Boolean]
-      def types_match? api_map, expected, inferred
-        return true if expected.to_s == inferred.to_s
-        matches = []
-        expected.each do |exp|
-          found = false
-          inferred.each do |inf|
-            # if api_map.super_and_sub?(fuzz(inf), fuzz(exp))
-            if either_way?(api_map, inf, exp)
-              found = true
-              matches.push inf
-              break
-            end
-          end
-          return false unless found
-        end
-        inferred.each do |inf|
-          next if matches.include?(inf)
-          found = false
-          expected.each do |exp|
-            # if api_map.super_and_sub?(fuzz(inf), fuzz(exp))
-            if either_way?(api_map, inf, exp)
-              found = true
-              break
-            end
-          end
-          return false unless found
-        end
-        true
-      end
-
-      # @param api_map [ApiMap]
-      # @param expected [ComplexType]
-      # @param inferred [ComplexType]
-      # @return [Boolean]
-      def any_types_match? api_map, expected, inferred
-        expected = expected.downcast_to_literal_if_possible
-        inferred = inferred.downcast_to_literal_if_possible
-        return duck_types_match?(api_map, expected, inferred) if expected.duck_type?
-        # walk through the union expected type and see if any members
-        # of the union match the inferred type
-        expected.each do |exp|
-          next if exp.duck_type?
-          # @todo: there should be a level of typechecking where all
-          #   unique types in the inferred must match one of the
-          #   expected unique types
-          inferred.each do |inf|
-            # return true if exp == inf || api_map.super_and_sub?(fuzz(inf), fuzz(exp))
-            return true if exp == inf || either_way?(api_map, inf, exp)
-          end
-        end
-        false
-      end
-
-      # @param api_map [ApiMap]
-      # @param inferred [ComplexType]
-      # @param expected [ComplexType]
-      # @return [Boolean]
-      def all_types_match? api_map, inferred, expected
-        expected = expected.downcast_to_literal_if_possible
-        inferred = inferred.downcast_to_literal_if_possible
-        return duck_types_match?(api_map, expected, inferred) if expected.duck_type?
-        inferred.each do |inf|
-          next if inf.duck_type?
-          return false unless expected.any? { |exp| exp == inf || either_way?(api_map, inf, exp) }
-        end
-        true
-      end
-
-      # @param api_map [ApiMap]
-      # @param expected [ComplexType]
-      # @param inferred [ComplexType]
-      # @return [Boolean]
-      def duck_types_match? api_map, expected, inferred
-        raise ArgumentError, 'Expected type must be duck type' unless expected.duck_type?
-        expected.each do |exp|
-          next unless exp.duck_type?
-          quack = exp.to_s[1..-1]
-          return false if api_map.get_method_stack(inferred.namespace, quack, scope: inferred.scope).empty?
-        end
-        true
-      end
-
-      # @param type [ComplexType::UniqueType]
-      # @return [String]
-      def fuzz type
-        if type.parameters?
-          type.name
-        else
-          type.tag
-        end
-      end
-
-      # @param api_map [ApiMap]
-      # @param cls1 [ComplexType::UniqueType]
-      # @param cls2 [ComplexType::UniqueType]
-      # @return [Boolean]
-      def either_way?(api_map, cls1, cls2)
-        # @todo there should be a level of typechecking which uses the
-        #   full tag with parameters to determine compatibility
-        f1 = cls1.name
-        f2 = cls2.name
-        api_map.type_include?(f1, f2) || api_map.super_and_sub?(f1, f2) || api_map.super_and_sub?(f2, f1)
-        # api_map.type_include?(f1, f2) || api_map.super_and_sub?(f1, f2) || api_map.super_and_sub?(f2, f1)
-      end
-    end
-  end
-end

data/lib/solargraph/type_checker/param_def.rb

@@ -1,37 +0,0 @@
-# frozen_string_literal: true
-
-module Solargraph
-  class TypeChecker
-    # Data about a method parameter definition. This is the information from
-    # the args list in the def call, not the `@param` tags.
-    #
-    class ParamDef
-      # @return [String]
-      attr_reader :name
-
-      # @return [Symbol]
-      attr_reader :type
-
-      # @param name [String]
-      # @param type [Symbol] The type of parameter, such as :req, :opt, :rest, etc.
-      def initialize name, type
-        @name = name
-        @type = type
-      end
-
-      class << self
-        # Get an array of ParamDefs from a method pin.
-        #
-        # @param pin [Solargraph::Pin::Method]
-        # @return [Array<ParamDef>]
-        def from pin
-          result = []
-          pin.parameters.each do |par|
-            result.push ParamDef.new(par.name, par.decl)
-          end
-          result
-        end
-      end
-    end
-  end
-end

data/lib/solargraph/yard_map/to_method.rb

@@ -1,89 +0,0 @@
-# frozen_string_literal: true
-
-module Solargraph
-  class YardMap
-    class ToMethod
-      module InnerMethods
-        module_function
-
-        # @param code_object [YARD::CodeObjects::Base]
-        # @param location [Solargraph::Location]
-        # @param comments [String]
-        # @return [Array<Solargraph::Pin::Parameter>]
-        def get_parameters code_object, location, comments
-          return [] unless code_object.is_a?(YARD::CodeObjects::MethodObject)
-          # HACK: Skip `nil` and `self` parameters that are sometimes emitted
-          # for methods defined in C
-          # See https://github.com/castwide/solargraph/issues/345
-          # @sg-ignore https://github.com/castwide/solargraph/pull/1114
-          code_object.parameters.select { |a| a[0] && a[0] != 'self' }.map do |a|
-            Solargraph::Pin::Parameter.new(
-              location: location,
-              closure: self,
-              comments: comments,
-              name: arg_name(a),
-              presence: nil,
-              decl: arg_type(a),
-              asgn_code: a[1],
-              source: :yard_map
-            )
-          end
-        end
-
-        # @param a [Array<String>]
-        # @return [String]
-        def arg_name a
-          a[0].gsub(/[^a-z0-9_]/i, '')
-        end
-
-        # @param a [Array]
-        # @return [::Symbol]
-        def arg_type a
-          if a[0].start_with?('**')
-            :kwrestarg
-          elsif a[0].start_with?('*')
-            :restarg
-          elsif a[0].start_with?('&')
-            :blockarg
-          elsif a[0].end_with?(':')
-            a[1] ? :kwoptarg : :kwarg
-          elsif a[1]
-            :optarg
-          else
-            :arg
-          end
-        end
-      end
-      private_constant :InnerMethods
-
-      include Helpers
-
-      # @param code_object [YARD::CodeObjects::MethodObject]
-      # @param name [String, nil]
-      # @param scope [Symbol, nil]
-      # @param visibility [Symbol, nil]
-      # @param closure [Solargraph::Pin::Base, nil]
-      # @param spec [Solargraph::Pin::Base, nil]
-      # @return [Solargraph::Pin::Method]
-      def make code_object, name = nil, scope = nil, visibility = nil, closure = nil, spec = nil
-        closure ||= Solargraph::Pin::Namespace.new(
-          name: code_object.namespace.to_s,
-          gates: [code_object.namespace.to_s]
-        )
-        location = object_location(code_object, spec)
-        comments = code_object.docstring ? code_object.docstring.all.to_s : ''
-        Pin::Method.new(
-          location: location,
-          closure: closure,
-          name: name || code_object.name.to_s,
-          comments: comments,
-          scope: scope || code_object.scope,
-          visibility: visibility || code_object.visibility,
-          parameters: InnerMethods.get_parameters(code_object, location, comments),
-          explicit: code_object.is_explicit?,
-          source: :yard_map
-        )
-      end
-    end
-  end
-end

data/rbs/fills/tuple/tuple.rbs

@@ -1,149 +0,0 @@
-# <-- liberally borrowed from
-#     https://github.com/ruby/rbs/blob/master/core/array.rbs, which
-#     was generated from
-#     https://github.com/ruby/ruby/blob/master/array.c
-#     -->
-module Solargraph
-  module Fills
-    class Tuple[unchecked out A,
-                unchecked out B = A,
-                unchecked out C = A | B,
-                unchecked out D = A | B | C,
-                unchecked out E = A | B | C | D,
-                unchecked out F = A | B | C | D | E,
-                unchecked out G = A | B | C | D | E | F,
-                unchecked out H = A | B | C | D | E | F | G,
-                unchecked out I = A | B | C | D | E | F | G | H,
-                unchecked out J = A | B | C | D | E | F | G | H | I] < Array[A | B | C | D | E | F | G | H | I | J]
-      # <!--
-      #   rdoc-file=array.c
-      #   - self[index] -> object or nil
-      # -->
-      # Returns elements from `self`; does not modify `self`.
-      #
-      # In brief:
-      #
-      #     a = [:foo, 'bar', 2]
-      #
-      #     # Single argument index: returns one element.
-      #     a[0]     # => :foo          # Zero-based index.
-      #
-      # When a single integer argument `index` is given, returns the element at offset
-      # `index`:
-      #
-      #     a = [:foo, 'bar', 2]
-      #     a[0] # => :foo
-      #     a[2] # => 2
-      #     a # => [:foo, "bar", 2]
-      def []: (0 index) -> A
-            | (1 index) -> B
-            | (2 index) -> C
-            | (3 index) -> D
-            | (4 index) -> E
-            | (5 index) -> F
-            | (6 index) -> G
-            | (7 index) -> H
-            | (8 index) -> I
-            | (9 index) -> J
-            | (int index) -> nil
-
-      # <!--
-      #   rdoc-file=array.c
-      #   - at(index) -> object or nil
-      # -->
-      # Returns the element of `self` specified by the given `index` or `nil` if there
-      # is no such element; `index` must be an [integer-convertible
-      # object](rdoc-ref:implicit_conversion.rdoc@Integer-Convertible+Objects).
-      #
-      # For non-negative `index`, returns the element of `self` at offset `index`:
-      #
-      #     a = [:foo, 'bar', 2]
-      #     a.at(0)   # => :foo
-      #     a.at(2)   # => 2
-      #     a.at(2.0) # => 2
-      #
-      # Related: Array#[]; see also [Methods for
-      # Fetching](rdoc-ref:Array@Methods+for+Fetching).
-      #
-      def at: (0 index) -> A
-            | (1 index) -> B
-            | (2 index) -> C
-            | (3 index) -> D
-            | (4 index) -> E
-            | (5 index) -> F
-            | (6 index) -> G
-            | (7 index) -> H
-            | (8 index) -> I
-            | (9 index) -> J
-            | (int index) -> nil
-
-      # <!--
-      #   rdoc-file=array.c
-      #   - fetch(index) -> element
-      #   - fetch(index, default_value) -> element or default_value
-      #   - fetch(index) {|index| ... } -> element or block_return_value
-      # -->
-      # Returns the element of `self` at offset `index` if `index` is in range;
-      # `index` must be an [integer-convertible
-      # object](rdoc-ref:implicit_conversion.rdoc@Integer-Convertible+Objects).
-      #
-      # With the single argument `index` and no block, returns the element at offset
-      # `index`:
-      #
-      #     a = [:foo, 'bar', 2]
-      #     a.fetch(1)   # => "bar"
-      #     a.fetch(1.1) # => "bar"
-      #
-      # With arguments `index` and `default_value` (which may be any object) and no
-      # block, returns `default_value` if `index` is out-of-range:
-      #
-      #     a = [:foo, 'bar', 2]
-      #     a.fetch(1, nil)  # => "bar"
-      #     a.fetch(3, :foo) # => :foo
-      #
-      # With argument `index` and a block, returns the element at offset `index` if
-      # index is in range (and the block is not called); otherwise calls the block
-      # with index and returns its return value:
-      #
-      #     a = [:foo, 'bar', 2]
-      #     a.fetch(1) {|index| raise 'Cannot happen' } # => "bar"
-      #     a.fetch(50) {|index| "Value for #{index}" } # => "Value for 50"
-      #
-      # Related: see [Methods for Fetching](rdoc-ref:Array@Methods+for+Fetching).
-      #
-      def fetch: (0 index) -> A
-               | (1 index) -> B
-               | (2 index) -> C
-               | (3 index) -> D
-               | (4 index) -> E
-               | (5 index) -> F
-               | (6 index) -> G
-               | (7 index) -> H
-               | (8 index) -> I
-               | (9 index) -> J
-               | (int index) -> void
-               | [T] (0 index, T default) -> (A | T)
-               | [T] (1 index, T default) -> (B | T)
-               | [T] (2 index, T default) -> (C | T)
-               | [T] (3 index, T default) -> (D | T)
-               | [T] (4 index, T default) -> (E | T)
-               | [T] (5 index, T default) -> (F | T)
-               | [T] (6 index, T default) -> (G | T)
-               | [T] (7 index, T default) -> (H | T)
-               | [T] (8 index, T default) -> (I | T)
-               | [T] (9 index, T default) -> (J | T)
-               | [T] (int index, T default) -> (A | B | C | D | E | F | G | H | I | J | T)
-               | [T] (0 index) { (int index) -> T } -> (A | T)
-               | [T] (1 index) { (int index) -> T } -> (B | T)
-               | [T] (2 index) { (int index) -> T } -> (C | T)
-               | [T] (3 index) { (int index) -> T } -> (D | T)
-               | [T] (4 index) { (int index) -> T } -> (E | T)
-               | [T] (5 index) { (int index) -> T } -> (F | T)
-               | [T] (6 index) { (int index) -> T } -> (G | T)
-               | [T] (7 index) { (int index) -> T } -> (H | T)
-               | [T] (8 index) { (int index) -> T } -> (I | T)
-               | [T] (9 index) { (int index) -> T } -> (J | T)
-               | [T] (int index) { (int index) -> T } -> (A | B | C | D | E | F | G | H | I | J | T)
-    end
-  end
-end