orthoses 1.5.0 → 1.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 843da9ba9bba3cf5c84ec56041836cb9469ad5faffd188f8edc13a3920ca499e
-  data.tar.gz: 791b0d87a885b327a41fff090f9dadce9b377712e9d7d51bd52fbaa997c98242
+  metadata.gz: e2915ad2b524676ac4ea67e61fcc90713bdaa8e79cb2ff01aeba74fe54b4885d
+  data.tar.gz: 0f8823a7e88b4030eb6554ac9f35a068730ac944378832f923c99cf3b4e8e6be
 SHA512:
-  metadata.gz: 81438b5d94ce56d7164cdc781eaaa2c526cbba21cab147fc91d4e1b0c9b7992e31259d9bda2f5e2441a3dc59e3f7ec940c910e1cf63bbec6ef84ca4b046af0ee
-  data.tar.gz: ec0049000f94a194747974233adaa1c51a7759c0d78fb84a11e543877ee15d01f212b59ed63c5cadbd221701de4bfa9c84c0f6fcc5feffdab0f954b1fd63e2d0
+  metadata.gz: '06038e9dd28433a1c9358915720fe942f597caee2d68651ce7c54b47136633cc1d55288c7b8053766f393bacda9974b1ee662337f80d78b0796d405453b2cc32'
+  data.tar.gz: 92074fd8665515453126f44627604f7fd3da1dcb7a85ec25b1ef51424c6797f9b1f67925d2349db05b7ce7aace06dc7f3f2d2be737cfb5399383bed4f846b11f

data/Gemfile

@@ -8,4 +8,9 @@ gemspec
 gem "rbs"
 gem "rake", "~> 13.0"
 gem "rgot", "~> 1.1"
-gem "steep"
+gem "activesupport"
+gem "debug"
+
+group :steep do
+  gem "steep", "1.4.0.dev.2"
+end

data/Gemfile.lock

@@ -1,43 +1,52 @@
 PATH
   remote: .
   specs:
-    orthoses (1.5.0)
-      rbs (~> 2.0)
+    orthoses (1.7.0)
+      rbs (~> 3.0)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (7.0.4)
+    activesupport (7.0.4.3)
       concurrent-ruby (~> 1.0, >= 1.0.2)
       i18n (>= 1.6, < 2)
       minitest (>= 5.1)
       tzinfo (~> 2.0)
     ast (2.4.2)
-    concurrent-ruby (1.1.10)
+    concurrent-ruby (1.2.2)
     csv (3.2.6)
+    debug (1.8.0)
+      irb (>= 1.5.0)
+      reline (>= 0.3.1)
     ffi (1.15.5)
-    fileutils (1.7.0)
-    i18n (1.12.0)
+    fileutils (1.7.1)
+    i18n (1.13.0)
       concurrent-ruby (~> 1.0)
+    io-console (0.6.0)
+    irb (1.6.4)
+      reline (>= 0.3.0)
     json (2.6.3)
-    language_server-protocol (3.17.0.2)
-    listen (3.7.1)
+    language_server-protocol (3.17.0.3)
+    listen (3.8.0)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
-    logger (1.5.2)
-    minitest (5.16.3)
-    parallel (1.22.1)
-    parser (3.1.3.0)
+    logger (1.5.3)
+    minitest (5.18.0)
+    parallel (1.23.0)
+    parser (3.2.2.1)
       ast (~> 2.4.1)
+    pathname (0.2.1)
     rainbow (3.1.1)
     rake (13.0.6)
     rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (2.8.1)
-    rgot (1.1.0)
-    securerandom (0.2.1)
-    steep (1.3.0)
+    rbs (3.1.0)
+    reline (0.3.3)
+      io-console (~> 0.5)
+    rgot (1.3.0)
+    securerandom (0.2.2)
+    steep (1.4.0.dev.2)
       activesupport (>= 5.1)
       csv (>= 3.0.9)
       fileutils (>= 1.1.0)
@@ -47,27 +56,31 @@ GEM
       logger (>= 1.3.0)
       parallel (>= 1.0.0)
       parser (>= 3.1)
+      pathname (>= 0.2.1)
       rainbow (>= 2.2.2, < 4.0)
       rbs (>= 2.8.0)
       securerandom (>= 0.1)
       strscan (>= 1.0.0)
       terminal-table (>= 2, < 4)
-    strscan (3.0.5)
+    strscan (3.0.6)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
-    tzinfo (2.0.5)
+    tzinfo (2.0.6)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.3.0)
+    unicode-display_width (2.4.2)
 
 PLATFORMS
-  ruby
+  x86_64-darwin-21
+  x86_64-linux
 
 DEPENDENCIES
+  activesupport
+  debug
   orthoses!
   rake (~> 13.0)
   rbs
   rgot (~> 1.1)
-  steep
+  steep (= 1.4.0.dev.2)
 
 BUNDLED WITH
-   2.3.9
+   2.4.8

data/examples/rack-test/Gemfile.lock

@@ -1,8 +1,8 @@
 PATH
   remote: ../..
   specs:
-    orthoses (1.4.0)
-      rbs (~> 2.0)
+    orthoses (1.6.0)
+      rbs (~> 3.0)
 
 GEM
   remote: https://rubygems.org/
@@ -13,7 +13,7 @@ GEM
       minitest (> 5)
     rack (3.0.2)
     rake (13.0.6)
-    rbs (2.8.1)
+    rbs (3.0.4)
 
 PLATFORMS
   arm64-darwin-21

data/examples/rack-test/out/rack/test/cookie.rbs

@@ -0,0 +1,28 @@
+class Rack::Test::Cookie
+  attr_reader name: String
+  attr_reader value: String
+  attr_reader raw: String
+  private def initialize: (String raw, ?URI::Generic uri, ?String default_host) -> void
+                        | (String raw, ?nil uri, ?String default_host) -> void
+                        | (String raw, ?URI::HTTPS uri, ?String default_host) -> void
+                        | (String raw, ?URI::HTTP uri, ?String default_host) -> void
+  def domain: () -> String
+  def secure?: () -> bool
+  def valid?: (URI::Generic uri) -> (bool | URI::RFC3986_Parser)
+            | (URI::HTTPS uri) -> bool
+            | (nil uri) -> nil
+            | (URI::HTTP uri) -> bool
+  private def default_uri: () -> Array[String?]
+  def http_only?: () -> bool
+  def empty?: () -> bool
+  def to_h: () -> Hash[String, String | bool]
+  def expires: () -> Time?
+  def expired?: () -> Integer?
+  def matches?: (URI::HTTPS uri) -> (Array[Integer] | bool)
+              | (URI::Generic uri) -> (Array[Integer] | bool)
+              | (URI::HTTP uri) -> (Array[Integer] | bool)
+  def path: () -> String
+  def replaces?: (Rack::Test::Cookie other) -> String
+  def <=>: (Rack::Test::Cookie other) -> String
+  alias to_hash to_h
+end

data/examples/rack-test/out/rack/test/cookie_jar.rbs

@@ -0,0 +1,28 @@
+class Rack::Test::CookieJar
+  private def initialize: (?Array[untyped] cookies, ?String default_host) -> void
+  private def each_cookie_for: (URI::Generic uri) -> (Array[untyped] | String | bool)
+                             | (URI::HTTP uri) -> (Array[untyped] | String | bool)
+                             | (nil uri) -> String
+                             | (URI::HTTPS uri) -> (Array[untyped] | String)
+  def for: (URI::Generic uri) -> (Array[Rack::Test::Cookie] | String | Time)
+         | (URI::HTTP uri) -> (Array[Rack::Test::Cookie] | String | Time)
+         | (nil uri) -> String
+         | (URI::HTTPS uri) -> (Array[Rack::Test::Cookie] | String)
+  def merge: (nil raw_cookies, ?URI::Generic uri) -> nil
+           | (String raw_cookies, ?URI::Generic uri) -> Rack::QueryParser::Params
+           | (nil raw_cookies, ?URI::HTTP uri) -> nil
+           | (String raw_cookies, ?nil uri) -> Array[nil]
+           | (nil raw_cookies, ?URI::HTTPS uri) -> nil
+           | (Array[String] raw_cookies, ?URI::Generic uri) -> Rack::QueryParser::Params
+           | (String raw_cookies, ?URI::HTTPS uri) -> Rack::QueryParser::Params
+           | (String raw_cookies, ?URI::HTTP uri) -> Rack::QueryParser::Params
+           | (Array[String] raw_cookies, ?nil uri) -> Array[nil]
+  def []: (String name) -> String?
+        | (Symbol name) -> String
+  private def initialize_copy: (Rack::Test::CookieJar other) -> Array[untyped]
+  def <<: (Rack::Test::Cookie new_cookie) -> (Array[Rack::Test::Cookie] | String)
+  def []=: (String name, String value) -> String
+  def to_hash: () -> (Hash[untyped, untyped] | String)
+  def get_cookie: (String name) -> String?
+  def delete: (String name) -> String
+end

data/examples/rack-test/out/rack/test/fake_app.rbs

@@ -0,0 +1,13 @@
+class Rack::Test::FakeApp
+  private def handle: (Hash[String, Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+                    | (Hash[String, Hash[Symbol, Symbol] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+                    | (Hash[String, Hash[Symbol, String] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+                    | (Hash[String, Hash[untyped, untyped] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+                    | (Hash[String, Hash[String, String] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+  def call: (Hash[String, Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+          | (Hash[String, Hash[Symbol, Symbol] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+          | (Hash[String, Hash[Symbol, String] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+          | (Hash[String, Hash[untyped, untyped] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+          | (Hash[String, Hash[String, String] | Rack::Lint::Wrapper::InputWrapper | Rack::Lint::Wrapper::ErrorWrapper | String | bool] env) -> nil
+  private def new_cookie_count: (Rack::Request req) -> Hash[untyped, untyped]
+end

data/examples/rack-test/out/rack/test/input_rewinder.rbs

@@ -0,0 +1,8 @@
+class Rack::Test::InputRewinder
+  private def initialize: (Rack::Lint app) -> void
+  def call: (Hash[String, StringIO | String | bool] env) -> Integer
+          | (Hash[String, Hash[Symbol, Symbol] | StringIO | String | bool] env) -> Integer
+          | (Hash[String, Hash[Symbol, String] | StringIO | String | bool] env) -> Integer
+          | (Hash[String, Hash[untyped, untyped] | StringIO | String | bool] env) -> Integer
+          | (Hash[String, Hash[String, String] | StringIO | String | bool] env) -> Integer
+end

data/examples/rack-test/out/rack/test/methods.rbs

@@ -0,0 +1,98 @@
+module Rack::Test::Methods
+  attr_accessor _rack_test_current_session: Rack::Test::Session?
+
+  def build_rack_test_session: (Symbol _name) -> (Rack::Test::InputRewinder | Proc | Rack::Test::Session)
+                             | (bool _name) -> Rack::Test::InputRewinder
+                             | (nil _name) -> Rack::Test::InputRewinder
+
+  def rack_test_session: (?Symbol name) -> (Rack::Test::Session | String)
+                       | (?bool name) -> Rack::Test::Session
+                       | (?nil name) -> Rack::Test::Session
+
+  def current_session: () -> Rack::Test::Session
+
+  def request: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> (Array[nil] | Rack::Test::Session)
+             | (*Array[Hash[String, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> (Array[nil] | Rack::Test::Session)
+             | (*Array[Hash[Symbol, Hash[String, String]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Hash[untyped, untyped]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Hash[String, String] | Symbol] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Hash[Symbol, Hash[Symbol, String]]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Symbol] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Hash[Symbol, Hash[Symbol, String]] | Symbol] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Symbol | String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol | String, Hash[String, String] | Symbol | String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Hash[String, String] | Symbol | bool] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, Hash[Symbol, Integer]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[Symbol, bool] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[String, Hash[Symbol, Symbol]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Array[nil]
+
+  def last_request: (*Array[untyped] args, **untyped) ?{ (*untyped) -> untyped } -> (Rack::Request | Rack::Test::Session)
+
+  def get: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> (Array[nil] | Rack::Test::Session)
+         | (*Array[Hash[String, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> (Array[nil] | Rack::Test::Session)
+         | (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[Hash[Symbol, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[Hash[String, Hash[String, String]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[(Hash[String, String] | String)?] args, **untyped) ?{ (*untyped) -> untyped } -> Array[nil]
+
+  def last_response: (*Array[untyped] args, **untyped) ?{ (*untyped) -> untyped } -> (Rack::MockResponse | Rack::Test::Session)
+
+  def options: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+             | (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def custom_request: (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+                    | (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def delete: (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+            | (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+            | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+            | (*Array[Hash[Symbol, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def patch: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+           | (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+           | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def put: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def post: (*Array[Hash[String, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[Symbol, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Array[Rack::Test::UploadedFile]] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Hash[String, Hash[String, String]] | Rack::Test::UploadedFile] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Hash[String, String] | Rack::Test::UploadedFile] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Rack::Test::UploadedFile | String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Rack::Test::UploadedFile] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Rack::Test::UploadedFile] | Hash[String, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[String, Array[String] | Rack::Test::UploadedFile] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def env: (*Array[Hash[Symbol, String] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+         | (*Array[Hash[Symbol, Symbol] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Hash[Symbol, Symbol]
+         | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Hash[Symbol, String]
+
+  def follow_redirect!: (*Array[untyped] args, **untyped) ?{ (*untyped) -> untyped } -> (Rack::Test::Session | String)
+
+  def header: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> (Rack::Test::Session | String)
+            | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> String
+
+  def head: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[String?] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+          | (*Array[Hash[untyped, untyped] | String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def basic_authorize: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def set_cookie: (*Array[String] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+                | (*Array[Array[String]] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::Session
+
+  def with_session: (Symbol name) -> Rack::Test::Session?
+
+  def clear_cookies: (*Array[untyped] args, **untyped) ?{ (*untyped) -> untyped } -> Rack::Test::CookieJar
+
+  alias rack_mock_session rack_test_session
+end

data/examples/rack-test/out/rack/test/session.rbs

@@ -0,0 +1,186 @@
+class Rack::Test::Session
+  attr_accessor cookie_jar: Rack::Test::CookieJar
+  def clear_cookies: () -> Rack::Test::CookieJar
+  private def initialize: (Rack::Test::InputRewinder app, ?String default_host) -> void
+                        | (Proc app, ?String default_host) -> void
+  def self.new: (Rack::Test::InputRewinder app, ?String default_host) -> Rack::Test::Session
+              | (Proc app, ?String default_host) -> Rack::Test::Session
+              | (Rack::Test::Session app, ?String default_host) -> Rack::Test::Session
+  private def parse_uri: (String path, Hash[untyped, untyped] env) -> Array[String?]
+                       | (String path, Hash[String, String] env) -> Array[String?]
+                       | (String path, Hash[Symbol, bool] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[String, String]] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[untyped, untyped]] env) -> Array[String?]
+                       | (String path, Hash[Symbol, String] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[String, String] | Symbol] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[Symbol, Hash[Symbol, String]]] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Symbol] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[Symbol, Hash[Symbol, String]] | Symbol] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Symbol | String] env) -> Array[String?]
+                       | (String path, Hash[Symbol | String, Hash[String, String] | Symbol | String] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[String, String] | Symbol | bool] env) -> Array[String?]
+                       | (String path, Hash[Symbol, Hash[Symbol, Integer]] env) -> Array[String?]
+                       | (String path, Hash[String, Hash[Symbol, Symbol]] env) -> Array[String?]
+                       | (String path, Hash[String, Hash[untyped, untyped] | String] env) -> Array[String?]
+                       | (String path, Hash[String, Hash[String, String]] env) -> Array[String?]
+  def request: (String uri, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> String?
+             | (String uri, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[String, String]] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[untyped, untyped]] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, String] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[String, String] | Symbol] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[Symbol, Hash[Symbol, String]]] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Symbol] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[Symbol, Hash[Symbol, String]] | Symbol] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Symbol | String] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol | String, Hash[String, String] | Symbol | String] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[String, String] | Symbol | bool] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, Hash[Symbol, Integer]] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> nil
+             | (String uri, ?Hash[String, Hash[Symbol, Symbol]] env) ?{ (*untyped) -> untyped } -> nil
+  private def env_for: (URI::Generic uri, Hash[untyped, untyped] env) -> (singleton(URI::Generic) | String)
+                     | (URI::Generic uri, Hash[Symbol, Hash[untyped, untyped] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, String?] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[String | Symbol, Hash[untyped, untyped] | String] env) -> singleton(URI::Generic)
+                     | (URI::HTTP uri, Hash[Symbol, Hash[untyped, untyped] | String] env) -> singleton(URI::HTTP)
+                     | (URI::Generic uri, Hash[Symbol, Hash[untyped, untyped] | bool | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[Symbol, String] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, String] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Array[Rack::Test::UploadedFile]] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[String, String] env) -> (singleton(URI::Generic) | String)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, String]] env) -> singleton(URI::Generic)
+                     | (URI::HTTPS uri, Hash[untyped, untyped] env) -> singleton(URI::HTTPS)
+                     | (URI::Generic uri, Hash[Symbol, Hash[untyped, untyped]] env) -> singleton(URI::Generic)
+                     | (URI::HTTP uri, Hash[untyped, untyped] env) -> singleton(URI::HTTP)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, String] | Symbol] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[Symbol, Hash[Symbol, String]]] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Symbol] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[Symbol, Hash[Symbol, String]] | Symbol] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Symbol | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol | String, Hash[String, String] | Symbol | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, String] | Symbol | bool] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[Symbol, Integer]] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, bool] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Hash[String, Hash[String, String]] | Rack::Test::UploadedFile] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Hash[String, String] | Rack::Test::UploadedFile] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Rack::Test::UploadedFile | String] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Rack::Test::UploadedFile] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[String | Symbol, Hash[String, Rack::Test::UploadedFile] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Array[String] | Rack::Test::UploadedFile] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[String, Hash[Symbol, Symbol]] env) -> singleton(URI::Generic)
+                     | (URI::HTTP uri, Hash[String | Symbol, Hash[untyped, untyped] | String] env) -> singleton(URI::HTTP)
+                     | (URI::HTTPS uri, Hash[String | Symbol, Hash[untyped, untyped] | String] env) -> singleton(URI::HTTPS)
+                     | (URI::Generic uri, Hash[Symbol, Hash[String, Hash[String, String]] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[String | Symbol, Hash[String, String] | String] env) -> singleton(URI::Generic)
+                     | (URI::Generic uri, Hash[String | Symbol, String?] env) -> singleton(URI::Generic)
+                     | (URI::HTTPS uri, Hash[Symbol, Hash[String, String] | String] env) -> singleton(URI::HTTPS)
+                     | (URI::HTTPS uri, Hash[Symbol, Hash[untyped, untyped] | String] env) -> singleton(URI::HTTPS)
+                     | (URI::HTTP uri, Hash[Symbol, Hash[String, String] | String] env) -> singleton(URI::HTTP)
+  private def process_request: (URI::Generic uri, Hash[String, StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::HTTP uri, Hash[String, StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::HTTPS uri, Hash[String, StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::Generic uri, Hash[String, Hash[Symbol, Symbol] | StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::Generic uri, Hash[String, Hash[Symbol, String] | StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::HTTP uri, Hash[String, Hash[untyped, untyped] | StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::HTTPS uri, Hash[String, Hash[untyped, untyped] | StringIO | String | bool] env) -> Rack::Test::CookieJar
+                             | (URI::Generic uri, Hash[String, Hash[String, String] | StringIO | String | bool] env) -> Rack::Test::CookieJar
+  private def close_body: (Rack::Lint::Wrapper body) -> nil
+                        | (untyped body) -> nil
+                        | (Array[String] body) -> nil
+                        | (Array[untyped] body) -> nil
+  def last_response: () -> Rack::MockResponse
+  def last_request: () -> Rack::Request
+  def after_request: () ?{ (*untyped) -> untyped } -> Array[Proc]
+  def custom_request: (String verb, String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> String?
+                    | (String verb, String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?String params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[Symbol, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> String?
+                    | (String verb, String uri, ?Hash[String, Array[Rack::Test::UploadedFile]] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Hash[String, Hash[String, String]] | Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Hash[String, String] | Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Rack::Test::UploadedFile | String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Rack::Test::UploadedFile] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Array[String] | Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[untyped, untyped] params, ?Hash[String, Hash[untyped, untyped] | String] env) ?{ (*untyped) -> untyped } -> String
+                    | (String verb, String uri, ?Hash[String, String] params, ?Hash[String, Hash[untyped, untyped] | String] env) ?{ (*untyped) -> untyped } -> String
+                    | (String verb, String uri, ?Hash[untyped, untyped] params, ?Hash[String, Hash[String, String]] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, Hash[String, String]] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?Hash[String, String] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> nil
+                    | (String verb, String uri, ?nil params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> nil
+  def get: (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[String, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, Hash[String, String]] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[Symbol, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[String, Hash[String, String]] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[String, String] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?nil params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  private def append_query_params: (Array[nil] query_array, Hash[untyped, untyped] query_params) -> Array[String?]
+                                 | (Array[String] query_array, Hash[untyped, untyped] query_params) -> Array[String]
+                                 | (Array[nil] query_array, Hash[String, String] query_params) -> String
+                                 | (Array[String] query_array, String query_params) -> Hash[untyped, untyped]
+                                 | (Array[String?] query_array, Hash[String, String] query_params) -> String
+                                 | (Array[String] query_array, Hash[Symbol, Hash[Symbol, String]] query_params) -> String
+                                 | (Array[String] query_array, Hash[Symbol, Integer] query_params) -> String
+                                 | (Array[nil] query_array, Hash[Symbol, String] query_params) -> String
+                                 | (Array[nil] query_array, Hash[String, Hash[String, String]] query_params) -> String
+  def restore_state: () -> nil
+  def options: (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+             | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+             | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+             | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  def delete: (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+            | (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+            | (String uri, ?String params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+            | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+            | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+            | (String uri, ?Hash[Symbol, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  def patch: (String uri, ?String params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+           | (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+           | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+           | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+           | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  def put: (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+         | (String uri, ?String params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  def post: (String uri, ?Hash[String, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[Symbol, String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?String params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Array[Rack::Test::UploadedFile]] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Hash[String, Hash[String, String]] | Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Hash[String, String] | Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Rack::Test::UploadedFile | String] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Rack::Test::UploadedFile] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[String, Array[String] | Rack::Test::UploadedFile] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  private def multipart_content_type: (Hash[String | Symbol, bool | String] env) -> String
+                                    | (Hash[String | Symbol, bool | String | Symbol] env) -> String
+  def env: (String name, Hash[Symbol, String] value) -> Hash[Symbol, String]
+         | (String name, Hash[Symbol, Symbol] value) -> Hash[Symbol, Symbol]
+         | (String name, nil value) -> (Hash[Symbol, String] | String)
+         | (String name, String value) -> String
+  def follow_redirect!: () -> bool?
+  def header: (String name, String value) -> String
+            | (String name, nil value) -> String
+  def head: (String uri, ?Hash[untyped, untyped] params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?nil params, ?Hash[untyped, untyped] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[untyped, untyped] params, ?Hash[String, String] env) ?{ (*untyped) -> untyped } -> Array[nil]
+          | (String uri, ?Hash[untyped, untyped] params, ?Hash[Symbol, bool] env) ?{ (*untyped) -> untyped } -> Array[nil]
+  def basic_authorize: (String username, String password) -> String
+  def set_cookie: (String cookie, ?nil uri) -> Rack::Test::CookieJar
+                | (String cookie, ?URI::Generic uri) -> Rack::Test::CookieJar
+                | (Array[String] cookie, ?nil uri) -> Rack::Test::CookieJar
+end

data/examples/rack-test/out/rack/test/uploaded_file.rbs

@@ -0,0 +1,18 @@
+class Rack::Test::UploadedFile
+  attr_reader tempfile: Tempfile?
+  attr_reader original_filename: String
+  attr_accessor content_type: String
+  private def initialize_from_file_path: (String path) -> singleton(File)
+  private def initialize: (String content, ?String content_type, ?bool binary, ?original_filename: nil) -> void
+                        | (StringIO content, ?String content_type, ?bool binary, ?original_filename: String) -> void
+                        | (String content, ?String content_type, ?bool binary, ?original_filename: String) -> void
+                        | (StringIO content, ?String content_type, ?bool binary, ?original_filename: nil) -> void
+  def self.finalize: (Tempfile file) -> Proc
+  private def respond_to_missing?: (Symbol method_name, ?bool include_private) -> Tempfile?
+  def method_missing: (Symbol method_name, *Array[untyped] args) ?{ (*untyped) -> untyped } -> Tempfile
+                    | (Symbol method_name, *Array[Encoding] args) ?{ (*untyped) -> untyped } -> Tempfile
+  def append_to: (String buffer) -> Tempfile
+  private def initialize_from_stringio: (StringIO stringio) -> StringIO
+  def path: () -> Tempfile
+  def self.actually_finalize: (Tempfile file) -> nil
+end