rbs_rails 0.3.0 → 0.4.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f5dc0321730c8a515b7fb485221b43cc9424994fa6e6c351505fbca3c09ae4e1
-  data.tar.gz: a930ab4b1cac5c0f819ab2d8d1bc18be47bbca00dc41990e185513f7a2cff1a8
+  metadata.gz: 16709127e339f2c71c00ad11ac8ed13fa0dae3090c2ee30105486acd2cde536e
+  data.tar.gz: 70464319628ea31b6ba77c958be4e335fcfefa6f55b3908ef168578a5bc4a03e
 SHA512:
-  metadata.gz: 5efd9e8eabe42a075f9dcf0d15c5e79d7cec935b8d812161cd20ed675b81691ab4d766bc3f59b8b196b3afb39961599d599082bb5d57166b34400f52c16aa716
-  data.tar.gz: ede7db12226ec86c8f4617c2fcf6713dfda220572bc0dcad7b6d58c3a372c716d20b15124bc245cb02968fb17ca2dbe97d160d137a026d85054ef6257f5eaa95
+  metadata.gz: 3a26bb616fd9ff5a174c089afdc2f5283c182abe3868dd6fab1b25ca16c7f447c21520915d131b84e00a25e800dca8ca3ff5b5d2c093ac65fab924dd5424221b
+  data.tar.gz: 52d257af8544a3639a3ffd98f3f0917fc5dd503e4682951cce3391ceed94bedf5d9eca1b0cd86b57e67fdc7d90093cf0a5acbc089c744e8bba5a49f38bd19364

data/.gitignore

@@ -7,3 +7,4 @@
 /spec/reports/
 /tmp/
 /Gemfile.lock
+/test/sig

data/.travis.yml

@@ -5,4 +5,7 @@ rvm:
   - 2.7.0
   - ruby-head
 
+before_install:
+  - gem install bundler -v 2.1.4
+
 cache: bundler

data/Gemfile

@@ -4,5 +4,6 @@ source "https://rubygems.org"
 gemspec
 
 gem "rake", "~> 12.0"
-gem 'rbs', '>= 0.6.0'
-gem 'steep', '>= 0.19.0'
+gem 'rbs', '>= 0.14.0'
+gem 'steep', '>= 0.34.0'
+gem 'minitest'

data/README.md

@@ -86,6 +86,7 @@ target :app do
   library 'pathname'
   library 'logger'
   library 'mutex_m'
+  library 'date'
 end
 ```
 

data/Rakefile

@@ -1,5 +1,7 @@
 require "bundler/gem_tasks"
-task :default => [:rbs_validate, :steep]
+require 'rake/testtask'
+
+task :default => [:rbs_validate, :steep, :test]
 
 desc 'run Steep'
 task :steep do
@@ -7,5 +9,11 @@ task :steep do
 end
 
 task :rbs_validate do
-  sh 'bin/rbs validate'
+  sh 'bin/rbs validate --silent'
+end
+
+Rake::TestTask.new do |test|
+  test.libs << 'test'
+  test.test_files = Dir['test/**/*_test.rb']
+  test.verbose = true
 end

data/Steepfile

@@ -7,5 +7,6 @@ target :lib do
   library "pathname"
   library "logger"
   library "mutex_m"
+  library "date"
   # library "strong_json"           # Gems
 end

data/assets/sig/active_record.rbs

@@ -37,7 +37,7 @@ class ActiveRecord::Base
 
   def will_save_change_to_attribute?: (String | Symbol attr_name, ?from: untyped, ?to: untyped) -> bool
 
-  def save!: () -> self
+  def save!: (?validate: bool, ?touch: bool) -> self
   def save: () -> bool
   def update!: (*untyped) -> self
   def update: (*untyped) -> bool

data/assets/sig/generated/actionpack.rbs

@@ -23,6 +23,8 @@ module AbstractController
 
     attr_reader abstract: untyped
 
+    alias self.abstract? self.abstract
+
     # Define a controller as abstract. See internal_methods for more
     # details.
     def self.abstract!: () -> untyped
@@ -121,6 +123,13 @@ module AbstractController
     # which is *not* necessarily the same as the action name.
     def process_action: (untyped method_name, *untyped args) -> untyped
 
+    # Actually call the method associated with the action. Override
+    # this method if you wish to change how action methods are called,
+    # not to add additional behavior around it. For example, you would
+    # override #send_action if you want to inject arguments into the
+    # method.
+    alias send_action send
+
     # If the action name was not found, but a method called "action_missing"
     # was found, #method_for_action will return "_handle_action_missing".
     # This method calls #action_missing with the current action name.
@@ -507,12 +516,6 @@ module AbstractController
   end
 end
 
-module AbstractController
-  extend ActiveSupport::Autoload
-
-  def self.eager_load!: () -> untyped
-end
-
 module AbstractController
   class DoubleRenderError < Error
     DEFAULT_MESSAGE: ::String
@@ -525,6 +528,8 @@ module AbstractController
 
     include ActionView::ViewPaths
 
+    extend ::ActionView::ViewPaths::ClassMethods
+
     # Normalizes arguments, options and then delegates render_to_body and
     # sticks the result in <tt>self.response_body</tt>.
     def render: (*untyped args) { () -> untyped } -> untyped
@@ -585,8 +590,12 @@ module AbstractController
     # simple framework for scoping them consistently.
     def translate: (untyped key, **untyped options) -> untyped
 
+    alias t translate
+
     # Delegates to <tt>I18n.localize</tt>. Also aliased as <tt>l</tt>.
     def localize: (untyped object, **untyped options) -> untyped
+
+    alias l localize
   end
 end
 
@@ -612,6 +621,12 @@ module AbstractController
   end
 end
 
+module AbstractController
+  extend ActiveSupport::Autoload
+
+  def self.eager_load!: () -> untyped
+end
+
 module ActionController
   module ApiRendering
     extend ActiveSupport::Concern
@@ -2416,6 +2431,8 @@ module ActionController
 
       def `any`: (*untyped args) { () -> untyped } -> untyped
 
+      alias all any
+
       def custom: (untyped mime_type) { () -> untyped } -> untyped
 
       def response: () -> untyped
@@ -2428,6 +2445,8 @@ module ActionController
 
         def `any`: (*untyped args) { () -> untyped } -> untyped
 
+        alias all any
+
         def method_missing: (untyped name, *untyped args) { () -> untyped } -> untyped
 
         def variant: () -> untyped
@@ -2547,7 +2566,6 @@ module ActionController
 
     EXCLUDE_PARAMETERS: ::Array[untyped]
 
-    # Note: It inherits unnamed class, but omitted^
     class Options
       # :nodoc:
       include Mutex_m
@@ -2632,148 +2650,6 @@ module ActionController
   end
 end
 
-module ActionController
-  class MiddlewareStack < ActionDispatch::MiddlewareStack
-    class Middleware < ActionDispatch::MiddlewareStack::Middleware
-      # Extend ActionDispatch middleware stack to make it aware of options
-      # allowing the following syntax in controllers:
-      #
-      #   class PostsController < ApplicationController
-      #     use AuthenticationMiddleware, except: [:index, :show]
-      #   end
-      #
-      # nodoc:
-      # nodoc:
-      def initialize: (untyped klass, untyped args, untyped actions, untyped strategy, untyped block) -> untyped
-
-      def valid?: (untyped action) -> untyped
-    end
-
-    def build: (untyped action, ?untyped? app) { () -> untyped } -> untyped
-
-    INCLUDE: untyped
-
-    EXCLUDE: untyped
-
-    NULL: untyped
-
-    def build_middleware: (untyped klass, untyped args, untyped block) -> Middleware
-  end
-
-  # <tt>ActionController::Metal</tt> is the simplest possible controller, providing a
-  # valid Rack interface without the additional niceties provided by
-  # <tt>ActionController::Base</tt>.
-  #
-  # A sample metal controller might look like this:
-  #
-  #   class HelloController < ActionController::Metal
-  #     def index
-  #       self.response_body = "Hello World!"
-  #     end
-  #   end
-  #
-  # And then to route requests to your metal controller, you would add
-  # something like this to <tt>config/routes.rb</tt>:
-  #
-  #   get 'hello', to: HelloController.action(:index)
-  #
-  # The +action+ method returns a valid Rack application for the \Rails
-  # router to dispatch to.
-  #
-  # == Rendering Helpers
-  #
-  # <tt>ActionController::Metal</tt> by default provides no utilities for rendering
-  # views, partials, or other responses aside from explicitly calling of
-  # <tt>response_body=</tt>, <tt>content_type=</tt>, and <tt>status=</tt>. To
-  # add the render helpers you're used to having in a normal controller, you
-  # can do the following:
-  #
-  #   class HelloController < ActionController::Metal
-  #     include AbstractController::Rendering
-  #     include ActionView::Layouts
-  #     append_view_path "#{Rails.root}/app/views"
-  #
-  #     def index
-  #       render "hello/index"
-  #     end
-  #   end
-  #
-  # == Redirection Helpers
-  #
-  # To add redirection helpers to your metal controller, do the following:
-  #
-  #   class HelloController < ActionController::Metal
-  #     include ActionController::Redirecting
-  #     include Rails.application.routes.url_helpers
-  #
-  #     def index
-  #       redirect_to root_url
-  #     end
-  #   end
-  #
-  # == Other Helpers
-  #
-  # You can refer to the modules included in <tt>ActionController::Base</tt> to see
-  # other features you can bring into your metal controller.
-  #
-  class Metal < AbstractController::Base
-    # Returns the last part of the controller's name, underscored, without the ending
-    # <tt>Controller</tt>. For instance, PostsController returns <tt>posts</tt>.
-    # Namespaces are left out, so Admin::PostsController returns <tt>posts</tt> as well.
-    #
-    # ==== Returns
-    # * <tt>string</tt>
-    def self.controller_name: () -> untyped
-
-    def self.make_response!: (untyped request) -> untyped
-
-    def self.binary_params_for?: (untyped action) -> ::FalseClass
-
-    # Delegates to the class' <tt>controller_name</tt>.
-    def controller_name: () -> untyped
-
-    def initialize: () -> untyped
-
-    def params: () -> untyped
-
-    def params=: (untyped val) -> untyped
-
-    # Basic url_for that can be overridden for more robust functionality.
-    def url_for: (untyped string) -> untyped
-
-    def response_body=: (untyped body) -> (nil | untyped)
-
-    # Tests if render or redirect has already happened.
-    def performed?: () -> untyped
-
-    def dispatch: (untyped name, untyped request, untyped response) -> untyped
-
-    def set_response!: (untyped response) -> untyped
-
-    def set_request!: (untyped request) -> untyped
-
-    def to_a: () -> untyped
-
-    def reset_session: () -> untyped
-
-    def self.inherited: (untyped base) -> untyped
-
-    # Pushes the given Rack middleware and its arguments to the bottom of the
-    # middleware stack.
-    def self.use: (*untyped args) { () -> untyped } -> untyped
-
-    # Alias for +middleware_stack+.
-    def self.middleware: () -> untyped
-
-    # Returns a Rack endpoint for the given action name.
-    def self.action: (untyped name) -> untyped
-
-    # Direct dispatch to the controller. Instantiates the controller, then
-    # executes the action named +name+.
-    def self.dispatch: (untyped name, untyped req, untyped res) -> untyped
-  end
-end
-
 module ActionController
   module Redirecting
     extend ActiveSupport::Concern
@@ -2970,6 +2846,8 @@ module ActionController
       # You must specify a +use_renderer+, else the +controller.renderer+ and
       # +controller._renderers+ will be <tt>nil</tt>, and the action will fail.
       def use_renderers: (*untyped args) -> untyped
+
+      alias use_renderer use_renderers
     end
 
     # Called by +render+ in <tt>AbstractController::Rendering</tt>
@@ -3646,6 +3524,8 @@ module ActionController
     # This method is also aliased as +to_param+.
     def to_query: (*untyped args) -> untyped
 
+    alias to_param to_query
+
     # Returns an unsafe, unfiltered
     # <tt>ActiveSupport::HashWithIndifferentAccess</tt> representation of the
     # parameters.
@@ -3658,10 +3538,14 @@ module ActionController
     #   # => {"name"=>"Senjougahara Hitagi", "oddity" => "Heavy stone crab"}
     def to_unsafe_h: () -> untyped
 
+    alias to_unsafe_hash to_unsafe_h
+
     # Convert all hashes in values into parameters, then yield each pair in
     # the same way as <tt>Hash#each_pair</tt>.
     def each_pair: () { (untyped) -> untyped } -> untyped
 
+    alias each each_pair
+
     # Convert all hashes in values into parameters, then yield each value in
     # the same way as <tt>Hash#each_value</tt>.
     def each_value: () { (untyped) -> untyped } -> untyped
@@ -3749,6 +3633,9 @@ module ActionController
     # for example.
     def require: (untyped key) -> untyped
 
+    # Alias of #require.
+    alias required require
+
     # Returns a new <tt>ActionController::Parameters</tt> instance that
     # includes only the given +filters+ and sets the +permitted+ attribute
     # for the object to +true+. This is useful for limiting which attributes
@@ -3928,6 +3815,8 @@ module ActionController
     # Equivalent to Hash#keep_if, but returns +nil+ if no changes were made.
     def select!: () { () -> untyped } -> untyped
 
+    alias keep_if select!
+
     # Returns a new instance of <tt>ActionController::Parameters</tt> with items
     # that the block evaluates to true removed.
     def reject: () { () -> untyped } -> untyped
@@ -3935,6 +3824,8 @@ module ActionController
     # Removes items that the block evaluates to true and returns self.
     def reject!: () { () -> untyped } -> untyped
 
+    alias delete_if reject!
+
     # Returns values that were assigned to the given +keys+. Note that all the
     # +Hash+ objects will be converted to <tt>ActionController::Parameters</tt>.
     def values_at: (*untyped keys) -> untyped
@@ -3951,10 +3842,14 @@ module ActionController
     # current hash merged into +other_hash+.
     def reverse_merge: (untyped other_hash) -> untyped
 
+    alias with_defaults reverse_merge
+
     # Returns current <tt>ActionController::Parameters</tt> instance with
     # current hash merged into +other_hash+.
     def reverse_merge!: (untyped other_hash) -> untyped
 
+    alias with_defaults! reverse_merge!
+
     def stringify_keys: () -> untyped
 
     def inspect: () -> ::String
@@ -4152,55 +4047,195 @@ module ActionController
 end
 
 module ActionController
-  class Railtie < Rails::Railtie
-    extend ::ActionController::Railties::Helpers
-  end
-end
+  class MiddlewareStack < ActionDispatch::MiddlewareStack
+    class Middleware < ActionDispatch::MiddlewareStack::Middleware
+      # Extend ActionDispatch middleware stack to make it aware of options
+      # allowing the following syntax in controllers:
+      #
+      #   class PostsController < ApplicationController
+      #     use AuthenticationMiddleware, except: [:index, :show]
+      #   end
+      #
+      # nodoc:
+      # nodoc:
+      def initialize: (untyped klass, untyped args, untyped actions, untyped strategy, untyped block) -> untyped
 
-module ActionController
-  module Railties
-    module Helpers
-      def inherited: (untyped klass) -> (nil | untyped)
+      def valid?: (untyped action) -> untyped
     end
-  end
-end
 
-module ActionController
-  extend ActiveSupport::Autoload
-end
+    def build: (untyped action, ?untyped? app) { () -> untyped } -> untyped
 
-module ActionController
-  # ActionController::Renderer allows you to render arbitrary templates
-  # without requirement of being in controller actions.
-  #
-  # You get a concrete renderer class by invoking ActionController::Base#renderer.
-  # For example:
+    INCLUDE: untyped
+
+    EXCLUDE: untyped
+
+    NULL: untyped
+
+    def build_middleware: (untyped klass, untyped args, untyped block) -> Middleware
+  end
+
+  # <tt>ActionController::Metal</tt> is the simplest possible controller, providing a
+  # valid Rack interface without the additional niceties provided by
+  # <tt>ActionController::Base</tt>.
   #
-  #   ApplicationController.renderer
+  # A sample metal controller might look like this:
   #
-  # It allows you to call method #render directly.
+  #   class HelloController < ActionController::Metal
+  #     def index
+  #       self.response_body = "Hello World!"
+  #     end
+  #   end
   #
-  #   ApplicationController.renderer.render template: '...'
+  # And then to route requests to your metal controller, you would add
+  # something like this to <tt>config/routes.rb</tt>:
   #
-  # You can use this shortcut in a controller, instead of the previous example:
+  #   get 'hello', to: HelloController.action(:index)
   #
-  #   ApplicationController.render template: '...'
+  # The +action+ method returns a valid Rack application for the \Rails
+  # router to dispatch to.
   #
-  # #render allows you to use the same options that you can use when rendering in a controller.
-  # For example:
+  # == Rendering Helpers
   #
-  #   FooController.render :action, locals: { ... }, assigns: { ... }
+  # <tt>ActionController::Metal</tt> by default provides no utilities for rendering
+  # views, partials, or other responses aside from explicitly calling of
+  # <tt>response_body=</tt>, <tt>content_type=</tt>, and <tt>status=</tt>. To
+  # add the render helpers you're used to having in a normal controller, you
+  # can do the following:
   #
-  # The template will be rendered in a Rack environment which is accessible through
-  # ActionController::Renderer#env. You can set it up in two ways:
+  #   class HelloController < ActionController::Metal
+  #     include AbstractController::Rendering
+  #     include ActionView::Layouts
+  #     append_view_path "#{Rails.root}/app/views"
   #
-  # *  by changing renderer defaults, like
+  #     def index
+  #       render "hello/index"
+  #     end
+  #   end
   #
-  #       ApplicationController.renderer.defaults # => hash with default Rack environment
+  # == Redirection Helpers
   #
-  # *  by initializing an instance of renderer by passing it a custom environment.
+  # To add redirection helpers to your metal controller, do the following:
   #
-  #       ApplicationController.renderer.new(method: 'post', https: true)
+  #   class HelloController < ActionController::Metal
+  #     include ActionController::Redirecting
+  #     include Rails.application.routes.url_helpers
+  #
+  #     def index
+  #       redirect_to root_url
+  #     end
+  #   end
+  #
+  # == Other Helpers
+  #
+  # You can refer to the modules included in <tt>ActionController::Base</tt> to see
+  # other features you can bring into your metal controller.
+  #
+  class Metal < AbstractController::Base
+    # Returns the last part of the controller's name, underscored, without the ending
+    # <tt>Controller</tt>. For instance, PostsController returns <tt>posts</tt>.
+    # Namespaces are left out, so Admin::PostsController returns <tt>posts</tt> as well.
+    #
+    # ==== Returns
+    # * <tt>string</tt>
+    def self.controller_name: () -> untyped
+
+    def self.make_response!: (untyped request) -> untyped
+
+    def self.binary_params_for?: (untyped action) -> ::FalseClass
+
+    # Delegates to the class' <tt>controller_name</tt>.
+    def controller_name: () -> untyped
+
+    def initialize: () -> untyped
+
+    def params: () -> untyped
+
+    def params=: (untyped val) -> untyped
+
+    alias response_code status
+
+    # Basic url_for that can be overridden for more robust functionality.
+    def url_for: (untyped string) -> untyped
+
+    def response_body=: (untyped body) -> (nil | untyped)
+
+    # Tests if render or redirect has already happened.
+    def performed?: () -> untyped
+
+    def dispatch: (untyped name, untyped request, untyped response) -> untyped
+
+    def set_response!: (untyped response) -> untyped
+
+    def set_request!: (untyped request) -> untyped
+
+    def to_a: () -> untyped
+
+    def reset_session: () -> untyped
+
+    def self.inherited: (untyped base) -> untyped
+
+    # Pushes the given Rack middleware and its arguments to the bottom of the
+    # middleware stack.
+    def self.use: (*untyped args) { () -> untyped } -> untyped
+
+    # Alias for +middleware_stack+.
+    def self.middleware: () -> untyped
+
+    # Returns a Rack endpoint for the given action name.
+    def self.action: (untyped name) -> untyped
+
+    # Direct dispatch to the controller. Instantiates the controller, then
+    # executes the action named +name+.
+    def self.dispatch: (untyped name, untyped req, untyped res) -> untyped
+  end
+end
+
+module ActionController
+  class Railtie < Rails::Railtie
+    extend ::ActionController::Railties::Helpers
+  end
+end
+
+module ActionController
+  module Railties
+    module Helpers
+      def inherited: (untyped klass) -> (nil | untyped)
+    end
+  end
+end
+
+module ActionController
+  # ActionController::Renderer allows you to render arbitrary templates
+  # without requirement of being in controller actions.
+  #
+  # You get a concrete renderer class by invoking ActionController::Base#renderer.
+  # For example:
+  #
+  #   ApplicationController.renderer
+  #
+  # It allows you to call method #render directly.
+  #
+  #   ApplicationController.renderer.render template: '...'
+  #
+  # You can use this shortcut in a controller, instead of the previous example:
+  #
+  #   ApplicationController.render template: '...'
+  #
+  # #render allows you to use the same options that you can use when rendering in a controller.
+  # For example:
+  #
+  #   FooController.render :action, locals: { ... }, assigns: { ... }
+  #
+  # The template will be rendered in a Rack environment which is accessible through
+  # ActionController::Renderer#env. You can set it up in two ways:
+  #
+  # *  by changing renderer defaults, like
+  #
+  #       ApplicationController.renderer.defaults # => hash with default Rack environment
+  #
+  # *  by initializing an instance of renderer by passing it a custom environment.
+  #
+  #       ApplicationController.renderer.new(method: 'post', https: true)
   #
   class Renderer
     attr_reader defaults: untyped
@@ -4267,6 +4302,10 @@ module ActionController
     include Testing::Functional
   end
 
+  module Live
+    def new_controller_thread: () { () -> untyped } -> untyped
+  end
+
   class TestRequest < ActionDispatch::TestRequest
     # ActionController::TestCase will be deprecated and moved to a gem in the future.
     # Please use ActionDispatch::IntegrationTest going forward.
@@ -4296,6 +4335,14 @@ module ActionController
   end
 
   class LiveTestResponse < Live::Response
+    # Was the response successful?
+    alias success? successful?
+
+    # Was the URL not found?
+    alias missing? not_found?
+
+    # Was there a server-side error?
+    alias error? server_error?
   end
 
   class TestSession < Rack::Session::Abstract::PersistedSecure::SecureSessionHash
@@ -4562,6 +4609,10 @@ module ActionController
   end
 end
 
+module ActionController
+  extend ActiveSupport::Autoload
+end
+
 module ActionDispatch
   module Http
     module Cache
@@ -4902,6 +4953,8 @@ module ActionDispatch
 
       def key?: (untyped key) -> untyped
 
+      alias include? key?
+
       DEFAULT: untyped
 
       # Returns the value for the given key mapped to @env.
@@ -5062,6 +5115,8 @@ module Mime
       # nodoc:
       attr_accessor q: untyped
 
+      alias to_s name
+
       def initialize: (untyped index, untyped name, ?untyped? q) -> untyped
 
       def <=>: (untyped item) -> untyped
@@ -5226,6 +5281,8 @@ module ActionDispatch
       # Returns both GET and POST \parameters in a single hash.
       def parameters: () -> untyped
 
+      alias params parameters
+
       def path_parameters=: (untyped parameters) -> untyped
 
       # Returns a hash with the \parameters used to form the \path of the request.
@@ -5305,6 +5362,8 @@ module ActionDispatch
 
     def initialize: (untyped env) -> untyped
 
+    def commit_cookie_jar!: () -> nil
+
     PASS_NOT_FOUND: untyped
 
     def controller_class: () -> untyped
@@ -5438,6 +5497,8 @@ module ActionDispatch
     # choice of JavaScript libraries and frameworks.
     def xml_http_request?: () -> untyped
 
+    alias xhr? xml_http_request?
+
     # Returns the IP address of client as a +String+.
     def ip: () -> untyped
 
@@ -5459,6 +5520,8 @@ module ActionDispatch
 
     def request_id=: (untyped id) -> untyped
 
+    alias uuid request_id
+
     # Returns the lowercase name of the HTTP server software.
     def server_software: () -> untyped
 
@@ -5493,9 +5556,13 @@ module ActionDispatch
     # Override Rack's GET method to support indifferent access.
     def GET: () -> untyped
 
+    alias query_parameters GET
+
     # Override Rack's POST method to support indifferent access.
     def POST: () -> untyped
 
+    alias request_parameters POST
+
     # Returns the authorization header regardless of whether it was specified directly or through one of the
     # proxy alternatives.
     def authorization: () -> untyped
@@ -5546,7 +5613,6 @@ module ActionDispatch
   #    end
   #  end
   class Response
-    # Note: It inherits unnamed class, but omitted^
     class Header
       # :nodoc:
       def initialize: (untyped response, untyped header) -> untyped
@@ -5567,6 +5633,8 @@ module ActionDispatch
     # Get headers for this response.
     attr_reader header: untyped
 
+    alias headers header
+
     def each: () { () -> untyped } -> untyped
 
     CONTENT_TYPE: ::String
@@ -5579,6 +5647,11 @@ module ActionDispatch
 
     include Rack::Response::Helpers
 
+    # Aliasing these off because AD::Http::Cache::Response defines them.
+    alias _cache_control cache_control
+
+    alias _cache_control= cache_control=
+
     include ActionDispatch::Http::FilterRedirect
 
     include ActionDispatch::Http::Cache::Response
@@ -5685,6 +5758,8 @@ module ActionDispatch
     #
     def message: () -> untyped
 
+    alias status_message message
+
     # Returns the content of the response as a string. This contains the contents
     # of any calls to <tt>render</tt>.
     def body: () -> untyped
@@ -5716,6 +5791,9 @@ module ActionDispatch
 
     def body_parts: () -> untyped
 
+    # The location header we'll be responding with.
+    alias redirect_url location
+
     def close: () -> untyped
 
     def abort: () -> untyped
@@ -5726,6 +5804,8 @@ module ActionDispatch
     #   status, headers, body = *response
     def to_a: () -> untyped
 
+    alias prepare! to_a
+
     # Returns the response cookies, converted to a Hash of (name => value) pairs
     #
     #   assert_equal 'AuthorOfNewPage', r.cookies['author']
@@ -6224,6 +6304,10 @@ module ActionDispatch
         def initialize: (untyped transition_table) -> untyped
 
         def simulate: (untyped string) -> (nil | MatchData)
+
+        alias =~ simulate
+
+        alias match simulate
       end
     end
   end
@@ -6321,6 +6405,9 @@ module ActionDispatch
       end
 
       class Terminal < Node
+        # :nodoc:
+        alias symbol left
+
         def terminal?: () -> ::TrueClass
       end
 
@@ -6352,6 +6439,8 @@ module ActionDispatch
         # :nodoc:
         attr_accessor regexp: untyped
 
+        alias symbol regexp
+
         attr_reader name: untyped
 
         DEFAULT_EXP: untyped
@@ -6414,23 +6503,6 @@ module ActionDispatch
   end
 end
 
-module ActionDispatch
-  # :stopdoc:
-  module Journey
-    class Parser < Racc::Parser
-      include Journey::Nodes
-
-      def self.parse: (untyped string) -> untyped
-
-      def initialize: () -> untyped
-
-      def parse: (untyped string) -> untyped
-
-      def next_token: () -> untyped
-    end
-  end
-end
-
 module ActionDispatch
   module Journey
     class Parser < Racc::Parser
@@ -6465,6 +6537,23 @@ module ActionDispatch
   end
 end
 
+module ActionDispatch
+  # :stopdoc:
+  module Journey
+    class Parser < Racc::Parser
+      include Journey::Nodes
+
+      def self.parse: (untyped string) -> untyped
+
+      def initialize: () -> untyped
+
+      def parse: (untyped string) -> untyped
+
+      def next_token: () -> untyped
+    end
+  end
+end
+
 module ActionDispatch
   module Journey
     module Path
@@ -6516,6 +6605,8 @@ module ActionDispatch
 
           def visit_LITERAL: (untyped node) -> untyped
 
+          alias visit_DOT visit_LITERAL
+
           def visit_SLASH: (untyped node) -> untyped
 
           def visit_STAR: (untyped node) -> ::String
@@ -6549,6 +6640,8 @@ module ActionDispatch
 
         def match: (untyped other) -> (nil | MatchData)
 
+        alias =~ match
+
         def source: () -> untyped
 
         def to_regexp: () -> untyped
@@ -6581,6 +6674,8 @@ module ActionDispatch
 
       attr_reader scope_options: untyped
 
+      alias conditions constraints
+
       module VerbMatchers
         VERBS: ::Array[untyped]
 
@@ -6632,6 +6727,8 @@ module ActionDispatch
 
       def parts: () -> untyped
 
+      alias segment_keys parts
+
       def format: (untyped path_options) -> untyped
 
       def required_parts: () -> untyped
@@ -6659,42 +6756,6 @@ module ActionDispatch
   end
 end
 
-module ActionDispatch
-  module Journey
-    class Router
-      # :nodoc:
-      # :nodoc:
-      attr_accessor routes: untyped
-
-      def initialize: (untyped routes) -> untyped
-
-      def eager_load!: () -> nil
-
-      def serve: (untyped req) -> (::Array[untyped] | ::Array[404 | ::Hash[::String, "pass"] | ::Array["Not Found"]])
-
-      def recognize: (untyped rails_req) { (untyped, untyped) -> untyped } -> untyped
-
-      def visualizer: () -> untyped
-
-      def partitioned_routes: () -> untyped
-
-      def ast: () -> untyped
-
-      def simulator: () -> untyped
-
-      def custom_routes: () -> untyped
-
-      def filter_routes: (untyped path) -> (::Array[untyped] | untyped)
-
-      def find_routes: (untyped req) -> untyped
-
-      def match_head_routes: (untyped routes, untyped req) -> untyped
-
-      def match_routes: (untyped routes, untyped req) -> untyped
-    end
-  end
-end
-
 module ActionDispatch
   module Journey
     class Router
@@ -6777,40 +6838,78 @@ end
 
 module ActionDispatch
   module Journey
-    class Routes
+    class Router
       # :nodoc:
-      # The Routing table. Contains all routes for a system. Routes can be
-      # added to the table by calling Routes#add_route.
       # :nodoc:
-      include Enumerable[untyped, untyped]
-
-      attr_reader routes: untyped
+      attr_accessor routes: untyped
 
-      attr_reader custom_routes: untyped
+      def initialize: (untyped routes) -> untyped
 
-      attr_reader anchored_routes: untyped
+      def eager_load!: () -> nil
 
-      def initialize: () -> untyped
+      def serve: (untyped req) -> (::Array[untyped] | ::Array[404 | ::Hash[::String, "pass"] | ::Array["Not Found"]])
 
-      def empty?: () -> untyped
+      def recognize: (untyped rails_req) { (untyped, untyped) -> untyped } -> untyped
 
-      def length: () -> untyped
+      def visualizer: () -> untyped
 
-      def last: () -> untyped
+      def partitioned_routes: () -> untyped
 
-      def each: () { () -> untyped } -> untyped
+      def ast: () -> untyped
 
-      def clear: () -> untyped
+      def simulator: () -> untyped
 
-      def partition_route: (untyped route) -> untyped
+      def custom_routes: () -> untyped
 
-      def ast: () -> untyped
+      def filter_routes: (untyped path) -> (::Array[untyped] | untyped)
 
-      def simulator: () -> untyped
+      def find_routes: (untyped req) -> untyped
 
-      def add_route: (untyped name, untyped mapping) -> untyped
+      def match_head_routes: (untyped routes, untyped req) -> untyped
 
-      def clear_cache!: () -> untyped
+      def match_routes: (untyped routes, untyped req) -> untyped
+    end
+  end
+end
+
+module ActionDispatch
+  module Journey
+    class Routes
+      # :nodoc:
+      # The Routing table. Contains all routes for a system. Routes can be
+      # added to the table by calling Routes#add_route.
+      # :nodoc:
+      include Enumerable[untyped, untyped]
+
+      attr_reader routes: untyped
+
+      attr_reader custom_routes: untyped
+
+      attr_reader anchored_routes: untyped
+
+      def initialize: () -> untyped
+
+      def empty?: () -> untyped
+
+      def length: () -> untyped
+
+      alias size length
+
+      def last: () -> untyped
+
+      def each: () { () -> untyped } -> untyped
+
+      def clear: () -> untyped
+
+      def partition_route: (untyped route) -> untyped
+
+      def ast: () -> untyped
+
+      def simulator: () -> untyped
+
+      def add_route: (untyped name, untyped mapping) -> untyped
+
+      def clear_cache!: () -> untyped
     end
   end
 end
@@ -7277,6 +7376,11 @@ module ActionDispatch
 
       def key?: (untyped name) -> untyped
 
+      alias has_key? key?
+
+      # Returns the cookies as Hash.
+      alias to_hash to_h
+
       def update: (untyped other_hash) -> untyped
 
       def update_cookies_from_jar: () -> untyped
@@ -7641,6 +7745,8 @@ module ActionDispatch
 
       def each: () { () -> untyped } -> untyped
 
+      alias merge! update
+
       def replace: (untyped h) -> untyped
 
       # Sets a flash that will not be available to the next action, only to the current.
@@ -8024,8 +8130,8 @@ module ActionDispatch
     # Other useful options include <tt>:key</tt>, <tt>:secure</tt> and
     # <tt>:httponly</tt>.
     class CookieStore < AbstractSecureStore
-      # Note: It inherits unnamed class, but omitted^
       class SessionId
+        # Note: It inherits unnamed class, but omitted
         attr_reader cookie_value: untyped
 
         def initialize: (untyped session_id, ?::Hash[untyped, untyped] cookie_value) -> untyped
@@ -8224,6 +8330,8 @@ module ActionDispatch
 
     def insert: (untyped index, untyped klass, *untyped args) { () -> untyped } -> untyped
 
+    alias insert_before insert
+
     def insert_after: (untyped index, *untyped args) { () -> untyped } -> untyped
 
     def swap: (untyped target, *untyped args) { () -> untyped } -> untyped
@@ -8296,26 +8404,6 @@ module ActionDispatch
   end
 end
 
-module Rack
-end
-
-module ActionDispatch
-  extend ActiveSupport::Autoload
-
-  class IllegalStateError < StandardError
-  end
-
-  class MissingController[T] < NameError[T]
-  end
-
-  module Http
-    extend ActiveSupport::Autoload
-  end
-
-  module Session
-  end
-end
-
 module ActionDispatch
   class Request
     class Session
@@ -8371,6 +8459,10 @@ module ActionDispatch
       # Returns true if the session has the given key or false.
       def has_key?: (untyped key) -> untyped
 
+      alias key? has_key?
+
+      alias include? has_key?
+
       # Returns keys of the session as Array.
       def keys: () -> untyped
 
@@ -8386,6 +8478,8 @@ module ActionDispatch
       # Returns the session as Hash.
       def to_hash: () -> untyped
 
+      alias to_h to_hash
+
       # Updates the session with given Hash.
       #
       #   session.to_hash
@@ -8906,6 +9000,8 @@ module ActionDispatch
 
         def default_url_options=: (untyped options) -> untyped
 
+        alias default_url_options default_url_options=
+
         def with_default_scope: (untyped scope) { () -> untyped } -> untyped
 
         # Query if the following named route was already defined.
@@ -9257,14 +9353,20 @@ module ActionDispatch
 
           def singular: () -> untyped
 
+          alias member_name singular
+
           # Checks for uncountable plurals, and appends "_index" if the plural
           # and singular form are the same.
           def collection_name: () -> untyped
 
           def resource_scope: () -> untyped
 
+          alias collection_scope path
+
           def member_scope: () -> ::String
 
+          alias shallow_scope member_scope
+
           def new_scope: (untyped new_path) -> ::String
 
           def nested_param: () -> ::Symbol
@@ -9286,6 +9388,14 @@ module ActionDispatch
 
           def singular: () -> untyped
 
+          alias member_name singular
+
+          alias collection_name singular
+
+          alias member_scope path
+
+          alias nested_scope path
+
           def singleton?: () -> ::TrueClass
         end
 
@@ -9984,259 +10094,6 @@ module ActionDispatch
   end
 end
 
-module ActionDispatch
-  # The routing module provides URL rewriting in native Ruby. It's a way to
-  # redirect incoming requests to controllers and actions. This replaces
-  # mod_rewrite rules. Best of all, Rails' \Routing works with any web server.
-  # Routes are defined in <tt>config/routes.rb</tt>.
-  #
-  # Think of creating routes as drawing a map for your requests. The map tells
-  # them where to go based on some predefined pattern:
-  #
-  #   Rails.application.routes.draw do
-  #     Pattern 1 tells some request to go to one place
-  #     Pattern 2 tell them to go to another
-  #     ...
-  #   end
-  #
-  # The following symbols are special:
-  #
-  #   :controller maps to your controller name
-  #   :action     maps to an action with your controllers
-  #
-  # Other names simply map to a parameter as in the case of <tt>:id</tt>.
-  #
-  # == Resources
-  #
-  # Resource routing allows you to quickly declare all of the common routes
-  # for a given resourceful controller. Instead of declaring separate routes
-  # for your +index+, +show+, +new+, +edit+, +create+, +update+ and +destroy+
-  # actions, a resourceful route declares them in a single line of code:
-  #
-  #  resources :photos
-  #
-  # Sometimes, you have a resource that clients always look up without
-  # referencing an ID. A common example, /profile always shows the profile of
-  # the currently logged in user. In this case, you can use a singular resource
-  # to map /profile (rather than /profile/:id) to the show action.
-  #
-  #  resource :profile
-  #
-  # It's common to have resources that are logically children of other
-  # resources:
-  #
-  #   resources :magazines do
-  #     resources :ads
-  #   end
-  #
-  # You may wish to organize groups of controllers under a namespace. Most
-  # commonly, you might group a number of administrative controllers under
-  # an +admin+ namespace. You would place these controllers under the
-  # <tt>app/controllers/admin</tt> directory, and you can group them together
-  # in your router:
-  #
-  #   namespace "admin" do
-  #     resources :posts, :comments
-  #   end
-  #
-  # Alternatively, you can add prefixes to your path without using a separate
-  # directory by using +scope+. +scope+ takes additional options which
-  # apply to all enclosed routes.
-  #
-  #   scope path: "/cpanel", as: 'admin' do
-  #     resources :posts, :comments
-  #   end
-  #
-  # For more, see <tt>Routing::Mapper::Resources#resources</tt>,
-  # <tt>Routing::Mapper::Scoping#namespace</tt>, and
-  # <tt>Routing::Mapper::Scoping#scope</tt>.
-  #
-  # == Non-resourceful routes
-  #
-  # For routes that don't fit the <tt>resources</tt> mold, you can use the HTTP helper
-  # methods <tt>get</tt>, <tt>post</tt>, <tt>patch</tt>, <tt>put</tt> and <tt>delete</tt>.
-  #
-  #   get 'post/:id', to: 'posts#show'
-  #   post 'post/:id', to: 'posts#create_comment'
-  #
-  # Now, if you POST to <tt>/posts/:id</tt>, it will route to the <tt>create_comment</tt> action. A GET on the same
-  # URL will route to the <tt>show</tt> action.
-  #
-  # If your route needs to respond to more than one HTTP method (or all methods) then using the
-  # <tt>:via</tt> option on <tt>match</tt> is preferable.
-  #
-  #   match 'post/:id', to: 'posts#show', via: [:get, :post]
-  #
-  # == Named routes
-  #
-  # Routes can be named by passing an <tt>:as</tt> option,
-  # allowing for easy reference within your source as +name_of_route_url+
-  # for the full URL and +name_of_route_path+ for the URI path.
-  #
-  # Example:
-  #
-  #   # In config/routes.rb
-  #   get '/login', to: 'accounts#login', as: 'login'
-  #
-  #   # With render, redirect_to, tests, etc.
-  #   redirect_to login_url
-  #
-  # Arguments can be passed as well.
-  #
-  #   redirect_to show_item_path(id: 25)
-  #
-  # Use <tt>root</tt> as a shorthand to name a route for the root path "/".
-  #
-  #   # In config/routes.rb
-  #   root to: 'blogs#index'
-  #
-  #   # would recognize http://www.example.com/ as
-  #   params = { controller: 'blogs', action: 'index' }
-  #
-  #   # and provide these named routes
-  #   root_url   # => 'http://www.example.com/'
-  #   root_path  # => '/'
-  #
-  # Note: when using +controller+, the route is simply named after the
-  # method you call on the block parameter rather than map.
-  #
-  #   # In config/routes.rb
-  #   controller :blog do
-  #     get 'blog/show',    to: :list
-  #     get 'blog/delete',  to: :delete
-  #     get 'blog/edit',    to: :edit
-  #   end
-  #
-  #   # provides named routes for show, delete, and edit
-  #   link_to @article.title, blog_show_path(id: @article.id)
-  #
-  # == Pretty URLs
-  #
-  # Routes can generate pretty URLs. For example:
-  #
-  #   get '/articles/:year/:month/:day', to: 'articles#find_by_id', constraints: {
-  #     year:       /\d{4}/,
-  #     month:      /\d{1,2}/,
-  #     day:        /\d{1,2}/
-  #   }
-  #
-  # Using the route above, the URL "http://localhost:3000/articles/2005/11/06"
-  # maps to
-  #
-  #   params = {year: '2005', month: '11', day: '06'}
-  #
-  # == Regular Expressions and parameters
-  # You can specify a regular expression to define a format for a parameter.
-  #
-  #   controller 'geocode' do
-  #     get 'geocode/:postalcode', to: :show, constraints: {
-  #       postalcode: /\d{5}(-\d{4})?/
-  #     }
-  #   end
-  #
-  # Constraints can include the 'ignorecase' and 'extended syntax' regular
-  # expression modifiers:
-  #
-  #   controller 'geocode' do
-  #     get 'geocode/:postalcode', to: :show, constraints: {
-  #       postalcode: /hx\d\d\s\d[a-z]{2}/i
-  #     }
-  #   end
-  #
-  #   controller 'geocode' do
-  #     get 'geocode/:postalcode', to: :show, constraints: {
-  #       postalcode: /# Postalcode format
-  #          \d{5} #Prefix
-  #          (-\d{4})? #Suffix
-  #          /x
-  #     }
-  #   end
-  #
-  # Using the multiline modifier will raise an +ArgumentError+.
-  # Encoding regular expression modifiers are silently ignored. The
-  # match will always use the default encoding or ASCII.
-  #
-  # == External redirects
-  #
-  # You can redirect any path to another path using the redirect helper in your router:
-  #
-  #   get "/stories", to: redirect("/posts")
-  #
-  # == Unicode character routes
-  #
-  # You can specify unicode character routes in your router:
-  #
-  #   get "(trim non-ascii characters)", to: "welcome#index"
-  #
-  # == Routing to Rack Applications
-  #
-  # Instead of a String, like <tt>posts#index</tt>, which corresponds to the
-  # index action in the PostsController, you can specify any Rack application
-  # as the endpoint for a matcher:
-  #
-  #   get "/application.js", to: Sprockets
-  #
-  # == Reloading routes
-  #
-  # You can reload routes if you feel you must:
-  #
-  #   Rails.application.reload_routes!
-  #
-  # This will clear all named routes and reload config/routes.rb if the file has been modified from
-  # last load. To absolutely force reloading, use <tt>reload!</tt>.
-  #
-  # == Testing Routes
-  #
-  # The two main methods for testing your routes:
-  #
-  # === +assert_routing+
-  #
-  #   def test_movie_route_properly_splits
-  #     opts = {controller: "plugin", action: "checkout", id: "2"}
-  #     assert_routing "plugin/checkout/2", opts
-  #   end
-  #
-  # +assert_routing+ lets you test whether or not the route properly resolves into options.
-  #
-  # === +assert_recognizes+
-  #
-  #   def test_route_has_options
-  #     opts = {controller: "plugin", action: "show", id: "12"}
-  #     assert_recognizes opts, "/plugins/show/12"
-  #   end
-  #
-  # Note the subtle difference between the two: +assert_routing+ tests that
-  # a URL fits options while +assert_recognizes+ tests that a URL
-  # breaks into parameters properly.
-  #
-  # In tests you can simply pass the URL or named route to +get+ or +post+.
-  #
-  #   def send_to_jail
-  #     get '/jail'
-  #     assert_response :success
-  #   end
-  #
-  #   def goes_to_login
-  #     get login_url
-  #     #...
-  #   end
-  #
-  # == View a list of all your routes
-  #
-  #   rails routes
-  #
-  # Target a specific controller with <tt>-c</tt>, or grep routes
-  # using <tt>-g</tt>. Useful in conjunction with <tt>--expanded</tt>
-  # which displays routes vertically.
-  module Routing
-    extend ActiveSupport::Autoload
-
-    SEPARATORS: ::Array[untyped]
-
-    HTTP_METHODS: ::Array[untyped]
-  end
-end
-
 module ActionDispatch
   module Routing
     class Redirect < Endpoint
@@ -10278,6 +10135,9 @@ module ActionDispatch
     end
 
     class OptionRedirect < Redirect
+      # :nodoc:
+      alias options block
+
       def path: (untyped params, untyped request) -> untyped
 
       def inspect: () -> ::String
@@ -10340,6 +10200,12 @@ module ActionDispatch
   module Routing
     # :stopdoc:
     class RouteSet
+      # Since the router holds references to many parts of the system
+      # like engines, controllers and the application itself, inspecting
+      # the route set can actually be really slow, therefore we default
+      # alias inspect to to_s.
+      alias inspect to_s
+
       class Dispatcher < Routing::Endpoint
         def initialize: (untyped raise_on_name_error) -> untyped
 
@@ -10384,6 +10250,12 @@ module ActionDispatch
 
         def key?: (untyped name) -> (nil | untyped)
 
+        alias []= add
+
+        alias [] get
+
+        alias clear clear!
+
         def each: () { (untyped, untyped) -> untyped } -> untyped
 
         def names: () -> untyped
@@ -10467,6 +10339,8 @@ module ActionDispatch
 
       attr_reader polymorphic_mappings: untyped
 
+      alias routes set
+
       def self.default_resources_path_names: () -> { new: "new", edit: "edit" }
 
       def self.new_with_config: (untyped config) -> untyped
@@ -10629,6 +10503,8 @@ module ActionDispatch
 
       attr_accessor routes: untyped
 
+      alias _routes routes
+
       def initialize: (untyped routes, untyped scope, untyped helpers, ?untyped? script_namer) -> untyped
 
       def url_options: () -> untyped
@@ -10826,6 +10702,259 @@ module ActionDispatch
   end
 end
 
+module ActionDispatch
+  # The routing module provides URL rewriting in native Ruby. It's a way to
+  # redirect incoming requests to controllers and actions. This replaces
+  # mod_rewrite rules. Best of all, Rails' \Routing works with any web server.
+  # Routes are defined in <tt>config/routes.rb</tt>.
+  #
+  # Think of creating routes as drawing a map for your requests. The map tells
+  # them where to go based on some predefined pattern:
+  #
+  #   Rails.application.routes.draw do
+  #     Pattern 1 tells some request to go to one place
+  #     Pattern 2 tell them to go to another
+  #     ...
+  #   end
+  #
+  # The following symbols are special:
+  #
+  #   :controller maps to your controller name
+  #   :action     maps to an action with your controllers
+  #
+  # Other names simply map to a parameter as in the case of <tt>:id</tt>.
+  #
+  # == Resources
+  #
+  # Resource routing allows you to quickly declare all of the common routes
+  # for a given resourceful controller. Instead of declaring separate routes
+  # for your +index+, +show+, +new+, +edit+, +create+, +update+ and +destroy+
+  # actions, a resourceful route declares them in a single line of code:
+  #
+  #  resources :photos
+  #
+  # Sometimes, you have a resource that clients always look up without
+  # referencing an ID. A common example, /profile always shows the profile of
+  # the currently logged in user. In this case, you can use a singular resource
+  # to map /profile (rather than /profile/:id) to the show action.
+  #
+  #  resource :profile
+  #
+  # It's common to have resources that are logically children of other
+  # resources:
+  #
+  #   resources :magazines do
+  #     resources :ads
+  #   end
+  #
+  # You may wish to organize groups of controllers under a namespace. Most
+  # commonly, you might group a number of administrative controllers under
+  # an +admin+ namespace. You would place these controllers under the
+  # <tt>app/controllers/admin</tt> directory, and you can group them together
+  # in your router:
+  #
+  #   namespace "admin" do
+  #     resources :posts, :comments
+  #   end
+  #
+  # Alternatively, you can add prefixes to your path without using a separate
+  # directory by using +scope+. +scope+ takes additional options which
+  # apply to all enclosed routes.
+  #
+  #   scope path: "/cpanel", as: 'admin' do
+  #     resources :posts, :comments
+  #   end
+  #
+  # For more, see <tt>Routing::Mapper::Resources#resources</tt>,
+  # <tt>Routing::Mapper::Scoping#namespace</tt>, and
+  # <tt>Routing::Mapper::Scoping#scope</tt>.
+  #
+  # == Non-resourceful routes
+  #
+  # For routes that don't fit the <tt>resources</tt> mold, you can use the HTTP helper
+  # methods <tt>get</tt>, <tt>post</tt>, <tt>patch</tt>, <tt>put</tt> and <tt>delete</tt>.
+  #
+  #   get 'post/:id', to: 'posts#show'
+  #   post 'post/:id', to: 'posts#create_comment'
+  #
+  # Now, if you POST to <tt>/posts/:id</tt>, it will route to the <tt>create_comment</tt> action. A GET on the same
+  # URL will route to the <tt>show</tt> action.
+  #
+  # If your route needs to respond to more than one HTTP method (or all methods) then using the
+  # <tt>:via</tt> option on <tt>match</tt> is preferable.
+  #
+  #   match 'post/:id', to: 'posts#show', via: [:get, :post]
+  #
+  # == Named routes
+  #
+  # Routes can be named by passing an <tt>:as</tt> option,
+  # allowing for easy reference within your source as +name_of_route_url+
+  # for the full URL and +name_of_route_path+ for the URI path.
+  #
+  # Example:
+  #
+  #   # In config/routes.rb
+  #   get '/login', to: 'accounts#login', as: 'login'
+  #
+  #   # With render, redirect_to, tests, etc.
+  #   redirect_to login_url
+  #
+  # Arguments can be passed as well.
+  #
+  #   redirect_to show_item_path(id: 25)
+  #
+  # Use <tt>root</tt> as a shorthand to name a route for the root path "/".
+  #
+  #   # In config/routes.rb
+  #   root to: 'blogs#index'
+  #
+  #   # would recognize http://www.example.com/ as
+  #   params = { controller: 'blogs', action: 'index' }
+  #
+  #   # and provide these named routes
+  #   root_url   # => 'http://www.example.com/'
+  #   root_path  # => '/'
+  #
+  # Note: when using +controller+, the route is simply named after the
+  # method you call on the block parameter rather than map.
+  #
+  #   # In config/routes.rb
+  #   controller :blog do
+  #     get 'blog/show',    to: :list
+  #     get 'blog/delete',  to: :delete
+  #     get 'blog/edit',    to: :edit
+  #   end
+  #
+  #   # provides named routes for show, delete, and edit
+  #   link_to @article.title, blog_show_path(id: @article.id)
+  #
+  # == Pretty URLs
+  #
+  # Routes can generate pretty URLs. For example:
+  #
+  #   get '/articles/:year/:month/:day', to: 'articles#find_by_id', constraints: {
+  #     year:       /\d{4}/,
+  #     month:      /\d{1,2}/,
+  #     day:        /\d{1,2}/
+  #   }
+  #
+  # Using the route above, the URL "http://localhost:3000/articles/2005/11/06"
+  # maps to
+  #
+  #   params = {year: '2005', month: '11', day: '06'}
+  #
+  # == Regular Expressions and parameters
+  # You can specify a regular expression to define a format for a parameter.
+  #
+  #   controller 'geocode' do
+  #     get 'geocode/:postalcode', to: :show, constraints: {
+  #       postalcode: /\d{5}(-\d{4})?/
+  #     }
+  #   end
+  #
+  # Constraints can include the 'ignorecase' and 'extended syntax' regular
+  # expression modifiers:
+  #
+  #   controller 'geocode' do
+  #     get 'geocode/:postalcode', to: :show, constraints: {
+  #       postalcode: /hx\d\d\s\d[a-z]{2}/i
+  #     }
+  #   end
+  #
+  #   controller 'geocode' do
+  #     get 'geocode/:postalcode', to: :show, constraints: {
+  #       postalcode: /# Postalcode format
+  #          \d{5} #Prefix
+  #          (-\d{4})? #Suffix
+  #          /x
+  #     }
+  #   end
+  #
+  # Using the multiline modifier will raise an +ArgumentError+.
+  # Encoding regular expression modifiers are silently ignored. The
+  # match will always use the default encoding or ASCII.
+  #
+  # == External redirects
+  #
+  # You can redirect any path to another path using the redirect helper in your router:
+  #
+  #   get "/stories", to: redirect("/posts")
+  #
+  # == Unicode character routes
+  #
+  # You can specify unicode character routes in your router:
+  #
+  #   get "(trim non-ascii characters)", to: "welcome#index"
+  #
+  # == Routing to Rack Applications
+  #
+  # Instead of a String, like <tt>posts#index</tt>, which corresponds to the
+  # index action in the PostsController, you can specify any Rack application
+  # as the endpoint for a matcher:
+  #
+  #   get "/application.js", to: Sprockets
+  #
+  # == Reloading routes
+  #
+  # You can reload routes if you feel you must:
+  #
+  #   Rails.application.reload_routes!
+  #
+  # This will clear all named routes and reload config/routes.rb if the file has been modified from
+  # last load. To absolutely force reloading, use <tt>reload!</tt>.
+  #
+  # == Testing Routes
+  #
+  # The two main methods for testing your routes:
+  #
+  # === +assert_routing+
+  #
+  #   def test_movie_route_properly_splits
+  #     opts = {controller: "plugin", action: "checkout", id: "2"}
+  #     assert_routing "plugin/checkout/2", opts
+  #   end
+  #
+  # +assert_routing+ lets you test whether or not the route properly resolves into options.
+  #
+  # === +assert_recognizes+
+  #
+  #   def test_route_has_options
+  #     opts = {controller: "plugin", action: "show", id: "12"}
+  #     assert_recognizes opts, "/plugins/show/12"
+  #   end
+  #
+  # Note the subtle difference between the two: +assert_routing+ tests that
+  # a URL fits options while +assert_recognizes+ tests that a URL
+  # breaks into parameters properly.
+  #
+  # In tests you can simply pass the URL or named route to +get+ or +post+.
+  #
+  #   def send_to_jail
+  #     get '/jail'
+  #     assert_response :success
+  #   end
+  #
+  #   def goes_to_login
+  #     get login_url
+  #     #...
+  #   end
+  #
+  # == View a list of all your routes
+  #
+  #   rails routes
+  #
+  # Target a specific controller with <tt>-c</tt>, or grep routes
+  # using <tt>-g</tt>. Useful in conjunction with <tt>--expanded</tt>
+  # which displays routes vertically.
+  module Routing
+    extend ActiveSupport::Autoload
+
+    SEPARATORS: ::Array[untyped]
+
+    HTTP_METHODS: ::Array[untyped]
+  end
+end
+
 module ActionDispatch
   # = System Testing
   #
@@ -11128,20 +11257,6 @@ module ActionDispatch
   end
 end
 
-module ActionDispatch
-  module Assertions
-    extend ActiveSupport::Concern
-
-    include ResponseAssertions
-
-    include RoutingAssertions
-
-    include Rails::Dom::Testing::Assertions
-
-    def html_document: () -> untyped
-  end
-end
-
 module ActionDispatch
   module Assertions
     # A small suite of assertions that test responses from \Rails applications.
@@ -11305,6 +11420,20 @@ module ActionDispatch
   end
 end
 
+module ActionDispatch
+  module Assertions
+    extend ActiveSupport::Concern
+
+    include ResponseAssertions
+
+    include RoutingAssertions
+
+    include Rails::Dom::Testing::Assertions
+
+    def html_document: () -> untyped
+  end
+end
+
 module ActionDispatch
   module Integration
     # nodoc:
@@ -11448,6 +11577,11 @@ module ActionDispatch
       #   process :get, '/author', params: { since: 201501011400 }
       def process: (untyped method, untyped path, ?params: untyped? params, ?headers: untyped? headers, ?env: untyped? env, ?xhr: bool xhr, ?as: untyped? as) -> untyped
 
+      # Set the host name to use in the next request.
+      #
+      #   session.host! "www.example.com"
+      alias host! host=
+
       def _mock_session: () -> untyped
 
       def build_full_uri: (untyped path, untyped env) -> ::String
@@ -11654,6 +11788,26 @@ module ActionDispatch
   end
 end
 
+module Rack
+end
+
+module ActionDispatch
+  extend ActiveSupport::Autoload
+
+  class IllegalStateError < StandardError
+  end
+
+  class MissingController[T] < NameError[T]
+  end
+
+  module Http
+    extend ActiveSupport::Autoload
+  end
+
+  module Session
+  end
+end
+
 module ActionPack
   # Returns the version of the currently loaded Action Pack as a <tt>Gem::Version</tt>
   def self.gem_version: () -> Gem::Version