Add type arguments support to singleton types

.github/workflows/c-check.yml

@@ -2,6 +2,8 @@ name: C Code Generation and Formatting Check
 
 on:
   push:
+    branches:
+      - master
   pull_request: {}
   merge_group: {}
 
@@ -44,6 +46,8 @@ jobs:
         run: |
           ruby -v
           gem update --system
+      - name: install erb
+        run: gem install erb
       - name: bin/setup
         run: |
           bin/setup

.github/workflows/comments.yml

@@ -16,7 +16,7 @@ jobs:
       - uses: actions/checkout@v6
       - uses: ruby/setup-ruby@v1
         with:
-          ruby-version: "4.0.0"
+          ruby-version: "4.0.1"
           bundler: none
       - name: Install dependencies
         run: |
@@ -26,6 +26,8 @@ jobs:
         run: |
           ruby -v
           gem update --system
+      - name: install erb
+        run: gem install erb
       - name: bin/setup
         run: |
           bin/setup

.github/workflows/ruby.yml

@@ -32,6 +32,8 @@ jobs:
             job: rubocop validate test_doc build test_generate_stdlib raap
           - ruby: "4.0"
             job: typecheck_test
+          - ruby: asan-release
+            job: test
     env:
       RANDOMIZE_STDLIB_TEST_ORDER: "true"
     steps:
@@ -50,6 +52,8 @@ jobs:
         run: |
           ruby -v
           gem update --system
+      - name: install erb
+        run: gem install erb
       - name: bundle config set with
         run: |
           echo "NO_MINITEST=true" >> $GITHUB_ENV
@@ -66,6 +70,10 @@ jobs:
       - name: bin/setup
         run: |
           bin/setup
+      - name: Configure ASAN options
+        if: ${{ contains(matrix.ruby, 'asan') }}
+        run: |
+          echo "ASAN_OPTIONS=abort_on_error=1" >> $GITHUB_ENV
       - name: Run test
         run: |
           bundle exec rake ${{ matrix.job }}
@@ -90,6 +98,8 @@ jobs:
         run: |
           ruby -v
           gem update --system
+      - name: install erb
+        run: gem install erb
       - name: clang version
         run: clang --version
       - name: bundle config set force_ruby_platform true if head

.github/workflows/rust.yml

@@ -4,11 +4,6 @@ on:
   push:
     branches:
       - master
-    paths:
-      - ".github/workflows/rust.yml"
-      - "rust/**"
-      - "include/**"
-      - "src/**"
   pull_request:
     paths:
       - ".github/workflows/rust.yml"
@@ -28,12 +23,12 @@ jobs:
       matrix:
         os: [ubuntu-latest, macos-latest, windows-latest]
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
       - name: Install Rust tools
         run: |
           rustup update --no-self-update stable
           rustup default stable
-      - uses: actions/cache@v4
+      - uses: actions/cache@v5
         with:
           path: |
             ~/.cargo/registry
@@ -51,13 +46,13 @@ jobs:
     name: cargo:lint
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
       - name: Install Rust tools
         run: |
           rustup update --no-self-update stable
           rustup default stable
           rustup component add --toolchain stable clippy rustfmt
-      - uses: actions/cache@v4
+      - uses: actions/cache@v5
         with:
           path: |
             ~/.cargo/registry

Gemfile

@@ -38,7 +38,6 @@ group :profilers do
   gem 'stackprof'
   gem 'memory_profiler'
   gem 'benchmark-ips'
-  gem "ruby_memcheck", platform: :ruby
 end
 
 # Test gems
@@ -56,5 +55,5 @@ group :minitest do
 end
 
 group :typecheck_test do
-  gem "steep", require: false
+  gem "steep", require: false, git: "https://github.com/soutaro/steep.git"
 end

Gemfile.lock

@@ -1,9 +1,31 @@
+GIT
+  remote: https://github.com/soutaro/steep.git
+  revision: 8521be6192b88d5c58514783d7f58585c5545497
+  specs:
+    steep (2.0.0.dev)
+      activesupport (>= 5.1)
+      concurrent-ruby (>= 1.1.10)
+      csv (>= 3.0.9)
+      fileutils (>= 1.1.0)
+      json (>= 2.1.0)
+      language_server-protocol (>= 3.17.0.4, < 4.0)
+      listen (~> 3.0)
+      logger (>= 1.3.0)
+      mutex_m (>= 0.3.0)
+      parser (>= 3.2)
+      rainbow (>= 2.2.2, < 4.0)
+      rbs (~> 4.0.0.dev)
+      securerandom (>= 0.1)
+      strscan (>= 1.0.0)
+      terminal-table (>= 2, < 5)
+      uri (>= 0.12.0)
+
 PATH
   remote: .
   specs:
     rbs (4.0.0.dev.5)
       logger
-      prism (>= 1.3.0)
+      prism (>= 1.6.0)
       tsort
 
 PATH
@@ -53,23 +75,24 @@ GEM
     i18n (1.14.8)
       concurrent-ruby (~> 1.0)
     io-console (0.8.2)
-    irb (1.16.0)
+    irb (1.17.0)
       pp (>= 0.6.0)
+      prism (>= 1.3.0)
       rdoc (>= 4.0.0)
       reline (>= 0.4.2)
-    json (2.18.0)
+    json (2.18.1)
     json-schema (6.1.0)
       addressable (~> 2.8)
       bigdecimal (>= 3.1, < 5)
     language_server-protocol (3.17.0.5)
     lint_roller (1.1.0)
-    listen (3.9.0)
+    listen (3.10.0)
+      logger
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     logger (1.7.0)
     marcel (1.1.0)
     memory_profiler (1.1.0)
-    mini_portile2 (2.8.9)
     minitest (6.0.1)
       prism (~> 1.5)
     minitest-mock (5.27.0)
@@ -79,19 +102,16 @@ GEM
     net-smtp (0.5.1)
       net-protocol
     nkf (0.2.0)
-    nokogiri (1.19.0)
-      mini_portile2 (~> 2.8.2)
-      racc (~> 1.4)
     ostruct (0.6.3)
     parallel (1.27.0)
-    parser (3.3.10.0)
+    parser (3.3.10.1)
       ast (~> 2.4.1)
       racc
     power_assert (3.0.1)
     pp (0.6.3)
       prettyprint
     prettyprint (0.2.0)
-    prism (1.7.0)
+    prism (1.9.0)
     pstore (0.2.0)
     psych (4.0.6)
       stringio
@@ -107,7 +127,7 @@ GEM
     rb-fsevent (0.11.2)
     rb-inotify (0.11.1)
       ffi (~> 1.0)
-    rdoc (7.0.3)
+    rdoc (7.2.0)
       erb
       psych (>= 4.0.0)
       tsort
@@ -126,22 +146,22 @@ GEM
     rspec-mocks (3.13.7)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.13.0)
-    rspec-support (3.13.6)
-    rubocop (1.82.1)
+    rspec-support (3.13.7)
+    rubocop (1.84.1)
       json (~> 2.3)
       language_server-protocol (~> 3.17.0.2)
       lint_roller (~> 1.1.0)
       parallel (~> 1.10)
       parser (>= 3.3.0.2)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 2.9.3, < 3.0)
-      rubocop-ast (>= 1.48.0, < 2.0)
+      rubocop-ast (>= 1.49.0, < 2.0)
       ruby-progressbar (~> 1.7)
       unicode-display_width (>= 2.4.0, < 4.0)
     rubocop-ast (1.49.0)
       parser (>= 3.3.7.2)
       prism (~> 1.7)
-    rubocop-on-rbs (1.8.0)
+    rubocop-on-rbs (1.9.1)
       lint_roller (~> 1.1)
       rbs (~> 3.5)
       rubocop (>= 1.72.1, < 2.0)
@@ -150,27 +170,8 @@ GEM
       lint_roller (~> 1.1)
       rubocop (~> 1.72, >= 1.72.1)
     ruby-progressbar (1.13.0)
-    ruby_memcheck (3.0.1)
-      nokogiri
     securerandom (0.4.1)
     stackprof (0.2.27)
-    steep (1.10.0)
-      activesupport (>= 5.1)
-      concurrent-ruby (>= 1.1.10)
-      csv (>= 3.0.9)
-      fileutils (>= 1.1.0)
-      json (>= 2.1.0)
-      language_server-protocol (>= 3.17.0.4, < 4.0)
-      listen (~> 3.0)
-      logger (>= 1.3.0)
-      mutex_m (>= 0.3.0)
-      parser (>= 3.1)
-      rainbow (>= 2.2.2, < 4.0)
-      rbs (~> 3.9)
-      securerandom (>= 0.1)
-      strscan (>= 1.0.0)
-      terminal-table (>= 2, < 5)
-      uri (>= 0.12.0)
     stringio (3.2.0)
     strong_json (2.1.2)
     strscan (3.1.7)
@@ -225,9 +226,8 @@ DEPENDENCIES
   rubocop
   rubocop-on-rbs
   rubocop-rubycw
-  ruby_memcheck
   stackprof
-  steep
+  steep!
   tempfile
   test-unit