Bump rbs from v3.6.0 to v3.7.0 and steep from v1.8.0 to v1.8.1

[ydah]

The following warnings and errors have been fixed as a result of the version update:

bundle exec steep check
# Type checking files:

............F.........................F..................................F...FF.......F......

lib/lrama/grammar/parameterizing_rule/rhs.rb:19:23: [warning] Empty hash doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└           var_to_arg = {}
                         ~~

lib/lrama/bitmap.rb:16:10: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└       a = []
            ~~

lib/lrama/grammar/rule_builder.rb:70:28: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└         resolved_builders = []
                              ~~

lib/lrama/lexer/token/user_code.rb:19:23: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└           references = []
                         ~~

lib/lrama/state/reduce.rb:30:36: [error] Type annotation has a syntax error: Failed to parse a type in annotation
│ Diagnostic ID: Ruby::AnnotationSyntaxError
│
└           # @type ivar @look_ahead: Array<Grammar::Symbol>
                                      ~~~~~~~~~~~~~~~~~~~~~~

lib/lrama/grammar.rb:385:15: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└       errors = []
                 ~~

Detected 6 problems from 6 files
rake aborted!

[yui-knk]

Is it possible to use inline type annotation for var = [] and var = {}?
I feel it's tricky to use Enumerator.new and each_with_object to avoid type check.

[yui-knk]

I suspect lib/lrama/state/reduce.rb:30:36: [error] Type annotation has a syntax error: Failed to parse a type in annotation might be a bug on steep. Do you have any idea?

[yui-knk]

For example, these diff makes the code syntax valid, even so type check is failed.

diff --git a/Gemfile b/Gemfile
index 58c28f7..870fde0 100644
--- a/Gemfile
+++ b/Gemfile
@@ -15,6 +15,6 @@ gem "memory_profiler"
 # Recent steep requires Ruby >= 3.0.0.
 # Then skip install on some CI jobs.
 if !ENV['GITHUB_ACTION'] || ENV['INSTALL_STEEP'] == 'true'
-  gem "rbs", "3.6.0", require: false
-  gem "steep", "1.8.0", require: false
+  gem "rbs", "3.7.0", require: false
+  gem "steep", "1.9.1", require: false
 end
diff --git a/lib/lrama/state/reduce.rb b/lib/lrama/state/reduce.rb
index a2b7c26..0e67b77 100644
--- a/lib/lrama/state/reduce.rb
+++ b/lib/lrama/state/reduce.rb
@@ -27,7 +27,7 @@ module Lrama

       def selected_look_ahead
         if @look_ahead
-          # @type ivar @look_ahead: Array<Grammar::Symbol>
+          # @type ivar @look_ahead: Array
           @look_ahead - @not_selected_symbols
         else
           []

bundle exec steep check
# Type checking files:

.................F.............................FF.......F....................F...F...........

lib/lrama/grammar/parameterizing_rule/rhs.rb:19:23: [warning] Empty hash doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└           var_to_arg = {}
                         ~~

lib/lrama/state/reduce.rb:31:22: [error] Type `(::Array[::Lrama::Grammar::Symbol] | nil)` does not have method `-`
│ Diagnostic ID: Ruby::NoMethod
│
└           @look_ahead - @not_selected_symbols
                        ~

lib/lrama/lexer/token/user_code.rb:19:23: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└           references = []
                         ~~

lib/lrama/bitmap.rb:16:10: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└       a = []
            ~~

lib/lrama/grammar/rule_builder.rb:70:28: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└         resolved_builders = []
                              ~~

lib/lrama/grammar.rb:385:15: [warning] Empty array doesn't have type annotation
│ Diagnostic ID: Ruby::UnannotatedEmptyCollection
│
└       errors = []
                 ~~

[yui-knk]

I applied monkey patches like below to steep-1.9.1/lib/steep/annotation_parser.rb.
It seems RBS parses codes without syntax error however type and string have different value.
So that "Failed to parse a type in annotation" SyntaxError is raised.

    def parse_type(match, name = :type, location:)
      string = match[name] or raise
      st, en = match.offset(name)
      st or raise
      en or raise
      loc = RBS::Location.new(location.buffer, location.start_pos + st, location.start_pos + en)

      type =
        begin
          RBS::Parser.parse_type(string)
        rescue RBS::ParsingError => exn
          p exn
          raise SyntaxError.new(source: string, location: loc, exn: exn)
        end or raise

      unless (type.location || raise).source == string.strip
        p type
        p type.location
        p type.location.source
        p string
        raise SyntaxError.new(source: string, location: loc, message: "Failed to parse a type in annotation")
      end

      factory.type(type)
    end

$ bundle exec steep check
# Type checking files:
...
#<RBS::Types::ClassInstance:0x000000012703b9e8 @name=#<RBS::TypeName:0x000000012703ba38 @namespace=#<RBS::Namespace:0x000000012703ba60 @path=[], @absolute=false>, @name=:Array, @kind=:class>, @args=[], @location=#<RBS::Location:32740 buffer=a.rbs, start=1:0, pos=0...5, children=name,?args source="Array">>
#<RBS::Location:32740 buffer=a.rbs, start=1:0, pos=0...5, children=name,?args source="Array">
"Array"
"Array<Grammar::Symbol>"