sorbet-result 1.0.0 → 1.1.0

data/sorbet/rbi/gems/{tapioca@0.11.6.rbi → tapioca@0.12.0.rbi}

@@ -1,11 +1,30 @@
-# typed: false
+# typed: true
 
 # DO NOT EDIT MANUALLY
 # This is an autogenerated file for types exported from the `tapioca` gem.
 # Please instead update this file by running `bin/tapioca gem tapioca`.
 
 class Bundler::Dependency < ::Gem::Dependency
-  include ::Tapioca::Gemfile::AutoRequireHook
+  include ::Tapioca::BundlerExt::AutoRequireHook
+end
+
+# source://tapioca//lib/tapioca/helpers/git_attributes.rb#4
+class GitAttributes
+  class << self
+    # source://tapioca//lib/tapioca/helpers/git_attributes.rb#9
+    sig { params(path: ::Pathname).void }
+    def create_generated_attribute_file(path); end
+
+    # source://tapioca//lib/tapioca/helpers/git_attributes.rb#16
+    sig { params(path: ::Pathname).void }
+    def create_vendored_attribute_file(path); end
+
+    private
+
+    # source://tapioca//lib/tapioca/helpers/git_attributes.rb#25
+    sig { params(path: ::Pathname, content: ::String).void }
+    def create_gitattributes_file(path, content); end
+  end
 end
 
 # We need to do the alias-method-chain dance since Bootsnap does the same,
@@ -35,7 +54,7 @@ module RBI; end
 
 # source://tapioca//lib/tapioca/rbi_ext/model.rb#5
 class RBI::Tree < ::RBI::NodeWithComments
-  # source://rbi/0.0.16/lib/rbi/model.rb#115
+  # source://rbi/0.1.9/lib/rbi/model.rb#119
   sig do
     params(
       loc: T.nilable(::RBI::Loc),
@@ -45,19 +64,19 @@ class RBI::Tree < ::RBI::NodeWithComments
   end
   def initialize(loc: T.unsafe(nil), comments: T.unsafe(nil), &block); end
 
-  # source://rbi/0.0.16/lib/rbi/model.rb#122
+  # source://rbi/0.1.9/lib/rbi/model.rb#126
   sig { params(node: ::RBI::Node).void }
   def <<(node); end
 
-  # source://rbi/0.0.16/lib/rbi/printer.rb#224
+  # source://rbi/0.1.9/lib/rbi/printer.rb#226
   sig { override.params(v: ::RBI::Printer).void }
   def accept_printer(v); end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/add_sig_templates.rb#66
+  # source://rbi/0.1.9/lib/rbi/rewriters/add_sig_templates.rb#66
   sig { params(with_todo_comment: T::Boolean).void }
   def add_sig_templates!(with_todo_comment: T.unsafe(nil)); end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/annotate.rb#48
+  # source://rbi/0.1.9/lib/rbi/rewriters/annotate.rb#49
   sig { params(annotation: ::String, annotate_scopes: T::Boolean, annotate_properties: T::Boolean).void }
   def annotate!(annotation, annotate_scopes: T.unsafe(nil), annotate_properties: T.unsafe(nil)); end
 
@@ -121,23 +140,27 @@ class RBI::Tree < ::RBI::NodeWithComments
   end
   def create_type_variable(name, type:, variance: T.unsafe(nil), fixed: T.unsafe(nil), upper: T.unsafe(nil), lower: T.unsafe(nil)); end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/deannotate.rb#40
+  # source://rbi/0.1.9/lib/rbi/rewriters/deannotate.rb#41
   sig { params(annotation: ::String).void }
   def deannotate!(annotation); end
 
-  # source://rbi/0.0.16/lib/rbi/model.rb#128
+  # source://rbi/0.1.9/lib/rbi/model.rb#132
   sig { returns(T::Boolean) }
   def empty?; end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/group_nodes.rb#38
+  # source://rbi/0.1.9/lib/rbi/rewriters/filter_versions.rb#118
+  sig { params(version: ::Gem::Version).void }
+  def filter_versions!(version); end
+
+  # source://rbi/0.1.9/lib/rbi/rewriters/group_nodes.rb#38
   sig { void }
   def group_nodes!; end
 
-  # source://rbi/0.0.16/lib/rbi/index.rb#64
+  # source://rbi/0.1.9/lib/rbi/index.rb#68
   sig { returns(::RBI::Index) }
   def index; end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/merge_trees.rb#318
+  # source://rbi/0.1.9/lib/rbi/rewriters/merge_trees.rb#324
   sig do
     params(
       other: ::RBI::Tree,
@@ -148,23 +171,23 @@ class RBI::Tree < ::RBI::NodeWithComments
   end
   def merge(other, left_name: T.unsafe(nil), right_name: T.unsafe(nil), keep: T.unsafe(nil)); end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/nest_non_public_methods.rb#45
+  # source://rbi/0.1.9/lib/rbi/rewriters/nest_non_public_methods.rb#46
   sig { void }
   def nest_non_public_methods!; end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/nest_singleton_methods.rb#35
+  # source://rbi/0.1.9/lib/rbi/rewriters/nest_singleton_methods.rb#36
   sig { void }
   def nest_singleton_methods!; end
 
-  # source://rbi/0.0.16/lib/rbi/model.rb#106
+  # source://rbi/0.1.9/lib/rbi/model.rb#110
   sig { returns(T::Array[::RBI::Node]) }
   def nodes; end
 
-  # source://rbi/0.0.16/lib/rbi/printer.rb#231
+  # source://rbi/0.1.9/lib/rbi/printer.rb#233
   sig { override.returns(T::Boolean) }
   def oneline?; end
 
-  # source://rbi/0.0.16/lib/rbi/rewriters/sort_nodes.rb#107
+  # source://rbi/0.1.9/lib/rbi/rewriters/sort_nodes.rb#119
   sig { void }
   def sort_nodes!; end
 
@@ -185,21 +208,26 @@ class RBI::TypedParam < ::T::Struct
   const :type, ::String
 
   class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/struct.rb#13
+    # source://sorbet-runtime/0.5.11262/lib/types/struct.rb#13
     def inherited(s); end
   end
 end
 
 # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#5
 module T::Generic
+  include ::Kernel
+
   # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#13
   def [](*types); end
 
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#47
+  def has_attached_class!(variance = T.unsafe(nil), &bounds_proc); end
+
   # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#21
-  def type_member(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil), &bounds_proc); end
+  def type_member(variance = T.unsafe(nil), &bounds_proc); end
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#37
-  def type_template(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil), &bounds_proc); end
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#34
+  def type_template(variance = T.unsafe(nil), &bounds_proc); end
 end
 
 # This module intercepts calls to generic type instantiations and type variable definitions.
@@ -214,11 +242,14 @@ module T::Generic::TypeStoragePatch
   # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#13
   def [](*types); end
 
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#47
+  def has_attached_class!(variance = T.unsafe(nil), &bounds_proc); end
+
   # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#21
-  def type_member(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil), &bounds_proc); end
+  def type_member(variance = T.unsafe(nil), &bounds_proc); end
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#37
-  def type_template(variance = T.unsafe(nil), fixed: T.unsafe(nil), lower: T.unsafe(nil), upper: T.unsafe(nil), &bounds_proc); end
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#34
+  def type_template(variance = T.unsafe(nil), &bounds_proc); end
 end
 
 # source://tapioca//lib/tapioca/sorbet_ext/proc_bind_patch.rb#28
@@ -302,18 +333,18 @@ end
 
 # source://tapioca//lib/tapioca/sorbet_ext/name_patch.rb#6
 class T::Types::Simple < ::T::Types::Base
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#64
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#70
   def name; end
 end
 
-# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#59
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#65
 module T::Types::Simple::GenericPatch
   # This method intercepts calls to the `name` method for simple types, so that
   # it can ask the name to the type if the type is generic, since, by this point,
   # we've created a clone of that type with the `name` method returning the
   # appropriate name for that specific concrete type.
   #
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#64
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#70
   def name; end
 end
 
@@ -329,17 +360,17 @@ end
 # source://tapioca//lib/tapioca/sorbet_ext/name_patch.rb#8
 T::Types::Simple::NamePatch::NAME_METHOD = T.let(T.unsafe(nil), UnboundMethod)
 
-# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#84
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#87
 module T::Utils::Private
   class << self
-    # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#86
+    # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#89
     def coerce_and_check_module_types(val, check_val, check_module_type); end
   end
 end
 
-# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#85
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#88
 module T::Utils::Private::PrivateCoercePatch
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#86
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#89
   def coerce_and_check_module_types(val, check_val, check_module_type); end
 end
 
@@ -360,6 +391,43 @@ end
 # source://tapioca//lib/tapioca.rb#37
 Tapioca::BINARY_FILE = T.let(T.unsafe(nil), String)
 
+# source://tapioca//lib/tapioca/bundler_ext/auto_require_hook.rb#5
+module Tapioca::BundlerExt; end
+
+# This is a module that gets prepended to `Bundler::Dependency` and
+# makes sure even gems marked as `require: false` are required during
+# `Bundler.require`.
+#
+# source://tapioca//lib/tapioca/bundler_ext/auto_require_hook.rb#9
+module Tapioca::BundlerExt::AutoRequireHook
+  requires_ancestor { Bundler::Dependency }
+
+  # source://tapioca//lib/tapioca/bundler_ext/auto_require_hook.rb#46
+  sig { returns(T.untyped) }
+  def autorequire; end
+
+  class << self
+    # @return [Boolean]
+    #
+    # source://tapioca//lib/tapioca/bundler_ext/auto_require_hook.rb#26
+    def enabled?; end
+
+    # source://tapioca//lib/tapioca/bundler_ext/auto_require_hook.rb#22
+    sig { params(name: T.untyped).returns(T::Boolean) }
+    def excluded?(name); end
+
+    # source://tapioca//lib/tapioca/bundler_ext/auto_require_hook.rb#36
+    sig do
+      type_parameters(:Result)
+        .params(
+          exclude: T::Array[::String],
+          blk: T.proc.returns(T.type_parameter(:Result))
+        ).returns(T.type_parameter(:Result))
+    end
+    def override_require_false(exclude:, &blk); end
+  end
+end
+
 # source://tapioca//lib/tapioca.rb#60
 Tapioca::CENTRAL_REPO_ANNOTATIONS_DIR = T.let(T.unsafe(nil), String)
 
@@ -375,40 +443,42 @@ class Tapioca::Cli < ::Thor
   include ::Tapioca::ConfigHelper
   include ::Tapioca::EnvHelper
 
-  # source://tapioca//lib/tapioca/cli.rb#336
+  # source://tapioca//lib/tapioca/cli.rb#355
   def __print_version; end
 
-  # source://tapioca//lib/tapioca/cli.rb#316
+  # source://tapioca//lib/tapioca/cli.rb#337
   def annotations; end
 
-  # source://tapioca//lib/tapioca/cli.rb#286
+  # source://tapioca//lib/tapioca/cli.rb#309
   def check_shims; end
 
-  # source://tapioca//lib/tapioca/cli.rb#41
+  # source://tapioca//lib/tapioca/cli.rb#46
   def configure; end
 
-  # source://tapioca//lib/tapioca/cli.rb#133
+  # source://tapioca//lib/tapioca/cli.rb#138
   def dsl(*constant_or_paths); end
 
-  # source://tapioca//lib/tapioca/cli.rb#238
+  # @raise [MalformattedArgumentError]
+  #
+  # source://tapioca//lib/tapioca/cli.rb#253
   def gem(*gems); end
 
   # source://tapioca//lib/tapioca/cli.rb#27
   def init; end
 
-  # source://tapioca//lib/tapioca/cli.rb#52
+  # source://tapioca//lib/tapioca/cli.rb#57
   def require; end
 
-  # source://tapioca//lib/tapioca/cli.rb#71
+  # source://tapioca//lib/tapioca/cli.rb#74
   def todo; end
 
   private
 
-  # source://tapioca//lib/tapioca/cli.rb#350
+  # source://tapioca//lib/tapioca/cli.rb#369
   def print_init_next_steps; end
 
   class << self
-    # source://tapioca//lib/tapioca/cli.rb#342
+    # source://tapioca//lib/tapioca/cli.rb#361
     def exit_on_failure?; end
   end
 end
@@ -436,6 +506,239 @@ end
 # source://tapioca//lib/tapioca/commands.rb#5
 module Tapioca::Commands; end
 
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://tapioca//lib/tapioca/commands/abstract_dsl.rb#6
+class Tapioca::Commands::AbstractDsl < ::Tapioca::Commands::CommandWithoutTracker
+  include ::Tapioca::SorbetHelper
+  include ::Tapioca::RBIFilesHelper
+
+  abstract!
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#31
+  sig do
+    params(
+      requested_constants: T::Array[::String],
+      requested_paths: T::Array[::Pathname],
+      outpath: ::Pathname,
+      only: T::Array[::String],
+      exclude: T::Array[::String],
+      file_header: T::Boolean,
+      tapioca_path: ::String,
+      quiet: T::Boolean,
+      verbose: T::Boolean,
+      number_of_workers: T.nilable(::Integer),
+      auto_strictness: T::Boolean,
+      gem_dir: ::String,
+      rbi_formatter: ::Tapioca::RBIFormatter,
+      app_root: ::String,
+      halt_upon_load_error: T::Boolean
+    ).void
+  end
+  def initialize(requested_constants:, requested_paths:, outpath:, only:, exclude:, file_header:, tapioca_path:, quiet: T.unsafe(nil), verbose: T.unsafe(nil), number_of_workers: T.unsafe(nil), auto_strictness: T.unsafe(nil), gem_dir: T.unsafe(nil), rbi_formatter: T.unsafe(nil), app_root: T.unsafe(nil), halt_upon_load_error: T.unsafe(nil)); end
+
+  private
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#94
+  sig { returns(T::Array[::String]) }
+  def all_requested_constants; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#284
+  sig { params(cause: ::Symbol, files: T::Array[::String]).returns(::String) }
+  def build_error_for_files(cause, files); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#208
+  sig do
+    params(
+      constant_name: ::String,
+      rbi: ::RBI::File,
+      outpath: ::Pathname,
+      quiet: T::Boolean
+    ).returns(T.nilable(::Pathname))
+  end
+  def compile_dsl_rbi(constant_name, rbi, outpath: T.unsafe(nil), quiet: T.unsafe(nil)); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#146
+  sig { params(constant_names: T::Array[::String], ignore_missing: T::Boolean).returns(T::Array[::Module]) }
+  def constantize(constant_names, ignore_missing: T.unsafe(nil)); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#169
+  sig { params(compiler_names: T::Array[::String]).returns(T::Array[T.class_of(Tapioca::Dsl::Compiler)]) }
+  def constantize_compilers(compiler_names); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#344
+  sig { returns(T::Array[::String]) }
+  def constants_from_requested_paths; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#117
+  sig { returns(::Tapioca::Dsl::Pipeline) }
+  def create_pipeline; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#247
+  sig { params(constant_name: ::String).returns(::Pathname) }
+  def dsl_rbi_filename(constant_name); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#132
+  sig { params(requested_constants: T::Array[::String], path: ::Pathname).returns(T::Set[::Pathname]) }
+  def existing_rbi_filenames(requested_constants, path: T.unsafe(nil)); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#339
+  sig { params(constant: ::String).returns(::String) }
+  def generate_command_for(constant); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#70
+  sig { params(outpath: ::Pathname, quiet: T::Boolean).returns(T::Set[::Pathname]) }
+  def generate_dsl_rbi_files(outpath, quiet:); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#107
+  sig { void }
+  def load_application; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#226
+  sig { params(dir: ::Pathname).void }
+  def perform_dsl_verification(dir); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#102
+  sig { returns(::Tapioca::Dsl::Pipeline) }
+  def pipeline; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#235
+  sig { params(files: T::Set[::Pathname]).void }
+  def purge_stale_dsl_rbi_files(files); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#334
+  sig { params(constant: ::String).returns(::String) }
+  def rbi_filename_for(constant); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#315
+  sig { params(path: ::Pathname).returns(T::Array[::Pathname]) }
+  def rbi_files_in(path); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#293
+  sig { params(diff: T::Hash[::String, ::Symbol], command: ::Symbol).void }
+  def report_diff_and_exit_if_out_of_date(diff, command); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#188
+  sig { params(name: ::String).returns(T.nilable(T.class_of(Tapioca::Dsl::Compiler))) }
+  def resolve(name); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#322
+  sig { params(class_name: ::String).returns(::String) }
+  def underscore(class_name); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_dsl.rb#252
+  sig { params(tmp_dir: ::Pathname).returns(T::Hash[::String, ::Symbol]) }
+  def verify_dsl_rbi(tmp_dir:); end
+end
+
+# @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
+#
+# source://tapioca//lib/tapioca/commands/abstract_gem.rb#6
+class Tapioca::Commands::AbstractGem < ::Tapioca::Commands::Command
+  include ::Tapioca::SorbetHelper
+  include ::Tapioca::RBIFilesHelper
+
+  abstract!
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#32
+  sig do
+    params(
+      gem_names: T::Array[::String],
+      exclude: T::Array[::String],
+      include_dependencies: T::Boolean,
+      prerequire: T.nilable(::String),
+      postrequire: ::String,
+      typed_overrides: T::Hash[::String, ::String],
+      outpath: ::Pathname,
+      file_header: T::Boolean,
+      include_doc: T::Boolean,
+      include_loc: T::Boolean,
+      include_exported_rbis: T::Boolean,
+      number_of_workers: T.nilable(::Integer),
+      auto_strictness: T::Boolean,
+      dsl_dir: ::String,
+      rbi_formatter: ::Tapioca::RBIFormatter,
+      halt_upon_load_error: T::Boolean
+    ).void
+  end
+  def initialize(gem_names:, exclude:, include_dependencies:, prerequire:, postrequire:, typed_overrides:, outpath:, file_header:, include_doc:, include_loc:, include_exported_rbis:, number_of_workers: T.unsafe(nil), auto_strictness: T.unsafe(nil), dsl_dir: T.unsafe(nil), rbi_formatter: T.unsafe(nil), halt_upon_load_error: T.unsafe(nil)); end
+
+  private
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#221
+  sig { returns(T::Array[::String]) }
+  def added_rbis; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#282
+  sig { params(cause: ::Symbol, files: T::Array[::String]).returns(::String) }
+  def build_error_for_files(cause, files); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#110
+  sig { params(gem: ::Tapioca::Gemfile::GemSpec).void }
+  def compile_gem_rbi(gem); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#216
+  sig { params(gem_name: ::String).returns(::Pathname) }
+  def existing_rbi(gem_name); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#264
+  sig { returns(T::Hash[::String, ::String]) }
+  def existing_rbis; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#228
+  sig { params(gem_name: ::String).returns(::Pathname) }
+  def expected_rbi(gem_name); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#270
+  sig { returns(T::Hash[::String, ::String]) }
+  def expected_rbis; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#98
+  sig do
+    params(
+      gem: ::Tapioca::Gemfile::GemSpec,
+      dependencies: T::Array[::Tapioca::Gemfile::GemSpec]
+    ).returns(T::Array[::Tapioca::Gemfile::GemSpec])
+  end
+  def gem_dependencies(gem, dependencies = T.unsafe(nil)); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#233
+  sig { params(gem_name: ::String).returns(T::Boolean) }
+  def gem_rbi_exists?(gem_name); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#277
+  sig { params(gem_name: ::String, version: ::String).returns(::Pathname) }
+  def gem_rbi_filename(gem_name, version); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#77
+  sig { params(gem_names: T::Array[::String]).returns(T::Array[::Tapioca::Gemfile::GemSpec]) }
+  def gems_to_generate(gem_names); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#287
+  sig { params(gem: ::Tapioca::Gemfile::GemSpec, file: ::RBI::File).void }
+  def merge_with_exported_rbi(gem, file); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#258
+  sig { params(old_filename: ::Pathname, new_filename: ::Pathname).void }
+  def move(old_filename, new_filename); end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#168
+  sig { void }
+  def perform_additions; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#141
+  sig { void }
+  def perform_removals; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#211
+  sig { returns(T::Array[::String]) }
+  def removed_rbis; end
+
+  # source://tapioca//lib/tapioca/commands/abstract_gem.rb#238
+  sig { params(diff: T::Hash[::String, ::Symbol], command: ::Symbol).void }
+  def report_diff_and_exit_if_out_of_date(diff, command); end
+end
+
 # source://tapioca//lib/tapioca/commands/annotations.rb#6
 class Tapioca::Commands::Annotations < ::Tapioca::Commands::CommandWithoutTracker
   # source://tapioca//lib/tapioca/commands/annotations.rb#18
@@ -450,69 +753,69 @@ class Tapioca::Commands::Annotations < ::Tapioca::Commands::CommandWithoutTracke
   end
   def initialize(central_repo_root_uris:, auth: T.unsafe(nil), netrc_file: T.unsafe(nil), central_repo_index_path: T.unsafe(nil), typed_overrides: T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#36
-  sig { override.void }
-  def execute; end
-
   private
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#191
+  # source://tapioca//lib/tapioca/commands/annotations.rb#193
   sig { params(name: ::String, content: ::String).returns(::String) }
   def add_header(name, content); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#211
+  # source://tapioca//lib/tapioca/commands/annotations.rb#213
   sig { params(name: ::String, content: ::String).returns(::String) }
   def apply_typed_override(name, content); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#132
+  # source://tapioca//lib/tapioca/commands/annotations.rb#39
+  sig { override.void }
+  def execute; end
+
+  # source://tapioca//lib/tapioca/commands/annotations.rb#136
   sig { params(repo_uris: T::Array[::String], gem_name: ::String).void }
   def fetch_annotation(repo_uris, gem_name); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#109
+  # source://tapioca//lib/tapioca/commands/annotations.rb#113
   sig { params(gem_names: T::Array[::String]).returns(T::Array[::String]) }
   def fetch_annotations(gem_names); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#150
+  # source://tapioca//lib/tapioca/commands/annotations.rb#152
   sig { params(repo_uri: ::String, path: ::String).returns(T.nilable(::String)) }
   def fetch_file(repo_uri, path); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#167
+  # source://tapioca//lib/tapioca/commands/annotations.rb#169
   sig { params(repo_uri: ::String, path: ::String).returns(T.nilable(::String)) }
   def fetch_http_file(repo_uri, path); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#98
+  # source://tapioca//lib/tapioca/commands/annotations.rb#102
   sig { params(repo_uri: ::String, repo_number: T.nilable(::Integer)).returns(T.nilable(Tapioca::RepoIndex)) }
   def fetch_index(repo_uri, repo_number:); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#77
+  # source://tapioca//lib/tapioca/commands/annotations.rb#81
   sig { returns(T::Hash[::String, Tapioca::RepoIndex]) }
   def fetch_indexes; end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#159
+  # source://tapioca//lib/tapioca/commands/annotations.rb#161
   sig { params(repo_uri: ::String, path: ::String).returns(T.nilable(::String)) }
   def fetch_local_file(repo_uri, path); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#46
+  # source://tapioca//lib/tapioca/commands/annotations.rb#50
   sig { returns(T::Array[::String]) }
   def list_gemfile_gems; end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#223
+  # source://tapioca//lib/tapioca/commands/annotations.rb#225
   sig { params(gem_name: ::String, contents: T::Array[::String]).returns(T.nilable(::String)) }
   def merge_files(gem_name, contents); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#56
+  # source://tapioca//lib/tapioca/commands/annotations.rb#60
   sig { params(project_gems: T::Array[::String]).void }
   def remove_expired_annotations(project_gems); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#250
+  # source://tapioca//lib/tapioca/commands/annotations.rb#252
   sig { returns(T::Hash[::String, T.nilable(::String)]) }
   def repo_tokens; end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#278
+  # source://tapioca//lib/tapioca/commands/annotations.rb#280
   sig { params(path: ::String, repo_uri: ::String, message: ::String).void }
   def say_http_error(path, repo_uri, message:); end
 
-  # source://tapioca//lib/tapioca/commands/annotations.rb#262
+  # source://tapioca//lib/tapioca/commands/annotations.rb#264
   sig { params(repo_uri: ::String).returns(T.nilable(::String)) }
   def token_for(repo_uri); end
 end
@@ -536,7 +839,9 @@ class Tapioca::Commands::CheckShims < ::Tapioca::Commands::CommandWithoutTracker
   end
   def initialize(gem_rbi_dir:, dsl_rbi_dir:, annotations_rbi_dir:, shim_rbi_dir:, todo_rbi_file:, payload:, number_of_workers:); end
 
-  # source://tapioca//lib/tapioca/commands/check_shims.rb#42
+  private
+
+  # source://tapioca//lib/tapioca/commands/check_shims.rb#44
   sig { override.void }
   def execute; end
 end
@@ -558,19 +863,17 @@ class Tapioca::Commands::Command
   sig { void }
   def initialize; end
 
-  # @abstract
-  #
-  # source://tapioca//lib/tapioca/commands/command.rb#25
-  sig { abstract.void }
-  def execute; end
-
-  # source://thor/1.2.2/lib/thor/base.rb#139
+  # source://thor/1.3.0/lib/thor/base.rb#155
   sig { returns(::Thor::Actions) }
   def file_writer; end
 
+  # source://tapioca//lib/tapioca/commands/command.rb#25
+  sig(:final) { void }
+  def run; end
+
   private
 
-  # source://tapioca//lib/tapioca/commands/command.rb#46
+  # source://tapioca//lib/tapioca/commands/command.rb#53
   sig do
     params(
       path: T.any(::Pathname, ::String),
@@ -582,18 +885,19 @@ class Tapioca::Commands::Command
   end
   def create_file(path, content, force: T.unsafe(nil), skip: T.unsafe(nil), verbose: T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/commands/command.rb#30
+  # source://tapioca//lib/tapioca/commands/command.rb#37
   sig { params(command: ::Symbol, args: ::String).returns(::String) }
   def default_command(command, *args); end
 
-  # source://tapioca//lib/tapioca/commands/command.rb#56
+  # @abstract
+  #
+  # source://tapioca//lib/tapioca/commands/command.rb#34
+  sig { abstract.void }
+  def execute; end
+
+  # source://tapioca//lib/tapioca/commands/command.rb#63
   sig { params(path: T.any(::Pathname, ::String), verbose: T::Boolean).void }
   def remove_file(path, verbose: T.unsafe(nil)); end
-
-  class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-  end
 end
 
 # source://tapioca//lib/tapioca/commands/command.rb#10
@@ -605,272 +909,107 @@ end
 # @abstract It cannot be directly instantiated. Subclasses must implement the `abstract` methods below.
 #
 # source://tapioca//lib/tapioca/commands/command_without_tracker.rb#6
-class Tapioca::Commands::CommandWithoutTracker < ::Tapioca::Commands::Command
-  abstract!
-
-  # source://tapioca//lib/tapioca/commands/command_without_tracker.rb#12
-  sig { void }
-  def initialize; end
-
-  class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-  end
-end
-
-# source://tapioca//lib/tapioca/commands/configure.rb#6
-class Tapioca::Commands::Configure < ::Tapioca::Commands::CommandWithoutTracker
-  # source://tapioca//lib/tapioca/commands/configure.rb#14
-  sig { params(sorbet_config: ::String, tapioca_config: ::String, default_postrequire: ::String).void }
-  def initialize(sorbet_config:, tapioca_config:, default_postrequire:); end
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#30
-  sig { override.void }
-  def execute; end
-
-  private
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#79
-  sig { void }
-  def create_binstub; end
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#69
-  sig { void }
-  def create_post_require; end
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#40
-  sig { void }
-  def create_sorbet_config; end
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#50
-  sig { void }
-  def create_tapioca_config; end
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#92
-  sig { returns(::Bundler::Installer) }
-  def installer; end
-
-  # source://tapioca//lib/tapioca/commands/configure.rb#97
-  sig { returns(T.any(::Bundler::StubSpecification, ::Gem::Specification)) }
-  def spec; end
-end
-
-# source://tapioca//lib/tapioca/commands/dsl.rb#6
-class Tapioca::Commands::Dsl < ::Tapioca::Commands::CommandWithoutTracker
-  include ::Tapioca::SorbetHelper
-  include ::Tapioca::RBIFilesHelper
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#29
-  sig do
-    params(
-      requested_constants: T::Array[::String],
-      requested_paths: T::Array[::Pathname],
-      outpath: ::Pathname,
-      only: T::Array[::String],
-      exclude: T::Array[::String],
-      file_header: T::Boolean,
-      tapioca_path: ::String,
-      should_verify: T::Boolean,
-      quiet: T::Boolean,
-      verbose: T::Boolean,
-      number_of_workers: T.nilable(::Integer),
-      auto_strictness: T::Boolean,
-      gem_dir: ::String,
-      rbi_formatter: ::Tapioca::RBIFormatter,
-      app_root: ::String
-    ).void
-  end
-  def initialize(requested_constants:, requested_paths:, outpath:, only:, exclude:, file_header:, tapioca_path:, should_verify: T.unsafe(nil), quiet: T.unsafe(nil), verbose: T.unsafe(nil), number_of_workers: T.unsafe(nil), auto_strictness: T.unsafe(nil), gem_dir: T.unsafe(nil), rbi_formatter: T.unsafe(nil), app_root: T.unsafe(nil)); end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#93
-  sig { override.void }
-  def execute; end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#66
-  sig { void }
-  def list_compilers; end
-
-  private
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#325
-  sig { params(cause: ::Symbol, files: T::Array[::String]).returns(::String) }
-  def build_error_for_files(cause, files); end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#249
-  sig do
-    params(
-      constant_name: ::String,
-      rbi: ::RBI::File,
-      outpath: ::Pathname,
-      quiet: T::Boolean
-    ).returns(T.nilable(::Pathname))
-  end
-  def compile_dsl_rbi(constant_name, rbi, outpath: T.unsafe(nil), quiet: T.unsafe(nil)); end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#187
-  sig { params(constant_names: T::Array[::String], ignore_missing: T::Boolean).returns(T::Array[::Module]) }
-  def constantize(constant_names, ignore_missing: T.unsafe(nil)); end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#210
-  sig { params(compiler_names: T::Array[::String]).returns(T::Array[T.class_of(Tapioca::Dsl::Compiler)]) }
-  def constantize_compilers(compiler_names); end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#385
-  sig { returns(T::Array[::String]) }
-  def constants_from_requested_paths; end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#158
-  sig { returns(::Tapioca::Dsl::Pipeline) }
-  def create_pipeline; end
-
-  # source://tapioca//lib/tapioca/commands/dsl.rb#288
-  sig { params(constant_name: ::String).returns(::Pathname) }
-  def dsl_rbi_filename(constant_name); end
+class Tapioca::Commands::CommandWithoutTracker < ::Tapioca::Commands::Command
+  abstract!
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#173
-  sig { params(requested_constants: T::Array[::String], path: ::Pathname).returns(T::Set[::Pathname]) }
-  def existing_rbi_filenames(requested_constants, path: T.unsafe(nil)); end
+  # source://tapioca//lib/tapioca/commands/command_without_tracker.rb#12
+  sig { void }
+  def initialize; end
+end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#380
-  sig { params(constant: ::String).returns(::String) }
-  def generate_command_for(constant); end
+# source://tapioca//lib/tapioca/commands/configure.rb#6
+class Tapioca::Commands::Configure < ::Tapioca::Commands::CommandWithoutTracker
+  # source://tapioca//lib/tapioca/commands/configure.rb#14
+  sig { params(sorbet_config: ::String, tapioca_config: ::String, default_postrequire: ::String).void }
+  def initialize(sorbet_config:, tapioca_config:, default_postrequire:); end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#267
-  sig { params(dir: ::Pathname).void }
-  def perform_dsl_verification(dir); end
+  private
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#276
-  sig { params(files: T::Set[::Pathname]).void }
-  def purge_stale_dsl_rbi_files(files); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#79
+  sig { void }
+  def create_binstub; end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#375
-  sig { params(constant: ::String).returns(::String) }
-  def rbi_filename_for(constant); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#69
+  sig { void }
+  def create_post_require; end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#356
-  sig { params(path: ::Pathname).returns(T::Array[::Pathname]) }
-  def rbi_files_in(path); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#40
+  sig { void }
+  def create_sorbet_config; end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#334
-  sig { params(diff: T::Hash[::String, ::Symbol], command: ::Symbol).void }
-  def report_diff_and_exit_if_out_of_date(diff, command); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#50
+  sig { void }
+  def create_tapioca_config; end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#229
-  sig { params(name: ::String).returns(T.nilable(T.class_of(Tapioca::Dsl::Compiler))) }
-  def resolve(name); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#32
+  sig { override.void }
+  def execute; end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#363
-  sig { params(class_name: ::String).returns(::String) }
-  def underscore(class_name); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#92
+  sig { returns(::Bundler::Installer) }
+  def installer; end
 
-  # source://tapioca//lib/tapioca/commands/dsl.rb#293
-  sig { params(tmp_dir: ::Pathname).returns(T::Hash[::String, ::Symbol]) }
-  def verify_dsl_rbi(tmp_dir:); end
+  # source://tapioca//lib/tapioca/commands/configure.rb#97
+  sig { returns(T.any(::Bundler::StubSpecification, ::Gem::Specification)) }
+  def spec; end
 end
 
-# source://tapioca//lib/tapioca/commands/gem.rb#6
-class Tapioca::Commands::Gem < ::Tapioca::Commands::Command
-  include ::Tapioca::SorbetHelper
-  include ::Tapioca::RBIFilesHelper
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#28
-  sig do
-    params(
-      gem_names: T::Array[::String],
-      exclude: T::Array[::String],
-      prerequire: T.nilable(::String),
-      postrequire: ::String,
-      typed_overrides: T::Hash[::String, ::String],
-      outpath: ::Pathname,
-      file_header: T::Boolean,
-      include_doc: T::Boolean,
-      include_loc: T::Boolean,
-      include_exported_rbis: T::Boolean,
-      number_of_workers: T.nilable(::Integer),
-      auto_strictness: T::Boolean,
-      dsl_dir: ::String,
-      rbi_formatter: ::Tapioca::RBIFormatter
-    ).void
-  end
-  def initialize(gem_names:, exclude:, prerequire:, postrequire:, typed_overrides:, outpath:, file_header:, include_doc:, include_loc:, include_exported_rbis:, number_of_workers: T.unsafe(nil), auto_strictness: T.unsafe(nil), dsl_dir: T.unsafe(nil), rbi_formatter: T.unsafe(nil)); end
+# source://tapioca//lib/tapioca/commands/dsl_compiler_list.rb#6
+class Tapioca::Commands::DslCompilerList < ::Tapioca::Commands::AbstractDsl
+  private
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#67
+  # source://tapioca//lib/tapioca/commands/dsl_compiler_list.rb#10
   sig { override.void }
   def execute; end
+end
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#105
-  sig { params(should_verify: T::Boolean, exclude: T::Array[::String]).void }
-  def sync(should_verify: T.unsafe(nil), exclude: T.unsafe(nil)); end
-
+# source://tapioca//lib/tapioca/commands/dsl_generate.rb#6
+class Tapioca::Commands::DslGenerate < ::Tapioca::Commands::AbstractDsl
   private
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#283
-  sig { returns(T::Array[::String]) }
-  def added_rbis; end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#344
-  sig { params(cause: ::Symbol, files: T::Array[::String]).returns(::String) }
-  def build_error_for_files(cause, files); end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#154
-  sig { params(gem: ::Tapioca::Gemfile::GemSpec).void }
-  def compile_gem_rbi(gem); end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#278
-  sig { params(gem_name: ::String).returns(::Pathname) }
-  def existing_rbi(gem_name); end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#326
-  sig { returns(T::Hash[::String, ::String]) }
-  def existing_rbis; end
+  # source://tapioca//lib/tapioca/commands/dsl_generate.rb#10
+  sig { override.void }
+  def execute; end
+end
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#290
-  sig { params(gem_name: ::String).returns(::Pathname) }
-  def expected_rbi(gem_name); end
+# source://tapioca//lib/tapioca/commands/dsl_verify.rb#6
+class Tapioca::Commands::DslVerify < ::Tapioca::Commands::AbstractDsl
+  private
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#332
-  sig { returns(T::Hash[::String, ::String]) }
-  def expected_rbis; end
+  # source://tapioca//lib/tapioca/commands/dsl_verify.rb#10
+  sig { override.void }
+  def execute; end
+end
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#295
-  sig { params(gem_name: ::String).returns(T::Boolean) }
-  def gem_rbi_exists?(gem_name); end
+# source://tapioca//lib/tapioca/commands/gem_generate.rb#6
+class Tapioca::Commands::GemGenerate < ::Tapioca::Commands::AbstractGem
+  private
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#339
-  sig { params(gem_name: ::String, version: ::String).returns(::Pathname) }
-  def gem_rbi_filename(gem_name, version); end
+  # source://tapioca//lib/tapioca/commands/gem_generate.rb#10
+  sig { override.void }
+  def execute; end
+end
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#139
-  sig { params(gem_names: T::Array[::String]).returns(T::Array[::Tapioca::Gemfile::GemSpec]) }
-  def gems_to_generate(gem_names); end
+# source://tapioca//lib/tapioca/commands/gem_sync.rb#6
+class Tapioca::Commands::GemSync < ::Tapioca::Commands::AbstractGem
+  private
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#349
-  sig { params(gem: ::Tapioca::Gemfile::GemSpec, file: ::RBI::File).void }
-  def merge_with_exported_rbi(gem, file); end
+  # source://tapioca//lib/tapioca/commands/gem_sync.rb#10
+  sig { override.void }
+  def execute; end
+end
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#320
-  sig { params(old_filename: ::Pathname, new_filename: ::Pathname).void }
-  def move(old_filename, new_filename); end
+# source://tapioca//lib/tapioca/commands/gem_verify.rb#6
+class Tapioca::Commands::GemVerify < ::Tapioca::Commands::AbstractGem
+  private
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#231
-  sig { void }
-  def perform_additions; end
+  # source://tapioca//lib/tapioca/commands/gem_verify.rb#10
+  sig { override.void }
+  def execute; end
 
-  # source://tapioca//lib/tapioca/commands/gem.rb#204
+  # source://tapioca//lib/tapioca/commands/gem_verify.rb#17
   sig { void }
-  def perform_removals; end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#185
-  sig { params(exclude: T::Array[::String]).void }
-  def perform_sync_verification(exclude: T.unsafe(nil)); end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#273
-  sig { returns(T::Array[::String]) }
-  def removed_rbis; end
-
-  # source://tapioca//lib/tapioca/commands/gem.rb#300
-  sig { params(diff: T::Hash[::String, ::Symbol], command: ::Symbol).void }
-  def report_diff_and_exit_if_out_of_date(diff, command); end
+  def perform_sync_verification; end
 end
 
 # source://tapioca//lib/tapioca/commands/require.rb#6
@@ -879,7 +1018,9 @@ class Tapioca::Commands::Require < ::Tapioca::Commands::CommandWithoutTracker
   sig { params(requires_path: ::String, sorbet_config_path: ::String).void }
   def initialize(requires_path:, sorbet_config_path:); end
 
-  # source://tapioca//lib/tapioca/commands/require.rb#21
+  private
+
+  # source://tapioca//lib/tapioca/commands/require.rb#23
   sig { override.void }
   def execute; end
 end
@@ -888,25 +1029,32 @@ end
 class Tapioca::Commands::Todo < ::Tapioca::Commands::CommandWithoutTracker
   include ::Tapioca::SorbetHelper
 
-  # source://tapioca//lib/tapioca/commands/todo.rb#15
+  # source://tapioca//lib/tapioca/commands/todo.rb#26
   sig { params(todo_file: ::String, file_header: T::Boolean).void }
   def initialize(todo_file:, file_header:); end
 
-  # source://tapioca//lib/tapioca/commands/todo.rb#23
-  sig { override.void }
-  def execute; end
+  # source://tapioca//lib/tapioca/commands/todo.rb#34
+  sig { void }
+  def run_with_deprecation; end
 
   private
 
-  # source://tapioca//lib/tapioca/commands/todo.rb#49
+  # source://tapioca//lib/tapioca/commands/todo.rb#44
+  sig { override.void }
+  def execute; end
+
+  # source://tapioca//lib/tapioca/commands/todo.rb#68
   sig { params(constants: T::Array[::String], command: ::String).returns(::RBI::File) }
   def rbi(constants, command:); end
 
-  # source://tapioca//lib/tapioca/commands/todo.rb#69
+  # source://tapioca//lib/tapioca/commands/todo.rb#88
   sig { returns(T::Array[::String]) }
   def unresolved_constants; end
 end
 
+# source://tapioca//lib/tapioca/commands/todo.rb#9
+Tapioca::Commands::Todo::DEPRECATION_MESSAGE = T.let(T.unsafe(nil), String)
+
 # source://tapioca//lib/tapioca/helpers/config_helper.rb#5
 module Tapioca::ConfigHelper
   requires_ancestor { Thor }
@@ -977,7 +1125,7 @@ class Tapioca::ConfigHelper::ConfigError < ::T::Struct
   const :message_parts, T::Array[::Tapioca::ConfigHelper::ConfigErrorMessagePart]
 
   class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/struct.rb#13
+    # source://sorbet-runtime/0.5.11262/lib/types/struct.rb#13
     def inherited(s); end
   end
 end
@@ -988,7 +1136,7 @@ class Tapioca::ConfigHelper::ConfigErrorMessagePart < ::T::Struct
   const :colors, T::Array[::Symbol]
 
   class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/struct.rb#13
+    # source://sorbet-runtime/0.5.11262/lib/types/struct.rb#13
     def inherited(s); end
   end
 end
@@ -1045,17 +1193,17 @@ class Tapioca::Dsl::Compiler
 
   ConstantType = type_member { { upper: Module } }
 
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#60
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#64
   sig { params(pipeline: ::Tapioca::Dsl::Pipeline, root: ::RBI::Tree, constant: ConstantType).void }
   def initialize(pipeline, root, constant); end
 
   # NOTE: This should eventually accept an `Error` object or `Exception` rather than simply a `String`.
   #
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#77
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#81
   sig { params(error: ::String).void }
   def add_error(error); end
 
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#68
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#72
   sig { params(compiler_name: ::String).returns(T::Boolean) }
   def compiler_enabled?(compiler_name); end
 
@@ -1065,7 +1213,7 @@ class Tapioca::Dsl::Compiler
 
   # @abstract
   #
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#73
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#77
   sig { abstract.void }
   def decorate; end
 
@@ -1075,21 +1223,21 @@ class Tapioca::Dsl::Compiler
 
   private
 
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#126
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#130
   sig { params(method_def: T.any(::Method, ::UnboundMethod)).returns(T::Array[::RBI::TypedParam]) }
   def compile_method_parameters_to_rbi(method_def); end
 
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#162
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#166
   sig { params(method_def: T.any(::Method, ::UnboundMethod)).returns(::String) }
   def compile_method_return_type_to_rbi(method_def); end
 
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#116
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#120
   sig { params(scope: ::RBI::Scope, method_def: T.any(::Method, ::UnboundMethod), class_method: T::Boolean).void }
   def create_method_from_def(scope, method_def, class_method: T.unsafe(nil)); end
 
   # Get the types of each parameter from a method signature
   #
-  # source://tapioca//lib/tapioca/dsl/compiler.rb#90
+  # source://tapioca//lib/tapioca/dsl/compiler.rb#94
   sig { params(method_def: T.any(::Method, ::UnboundMethod), signature: T.untyped).returns(T::Array[::String]) }
   def parameters_types_from_signature(method_def, signature); end
 
@@ -1104,9 +1252,6 @@ class Tapioca::Dsl::Compiler
     sig { params(constant: ::Module).returns(T::Boolean) }
     def handles?(constant); end
 
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-
     # source://tapioca//lib/tapioca/dsl/compiler.rb#37
     sig { returns(T::Set[::Module]) }
     def processable_constants; end
@@ -1114,10 +1259,10 @@ class Tapioca::Dsl::Compiler
     private
 
     # source://tapioca//lib/tapioca/dsl/compiler.rb#47
-    sig { returns(T::Enumerable[::Class]) }
+    sig { returns(T::Enumerable[T::Class[T.anything]]) }
     def all_classes; end
 
-    # source://tapioca//lib/tapioca/dsl/compiler.rb#53
+    # source://tapioca//lib/tapioca/dsl/compiler.rb#55
     sig { returns(T::Enumerable[::Module]) }
     def all_modules; end
   end
@@ -1194,15 +1339,15 @@ class Tapioca::Dsl::Pipeline
 
   private
 
-  # source://tapioca//lib/tapioca/dsl/pipeline.rb#193
+  # source://tapioca//lib/tapioca/dsl/pipeline.rb#199
   sig { void }
   def abort_if_pending_migrations!; end
 
-  # source://tapioca//lib/tapioca/dsl/pipeline.rb#139
+  # source://tapioca//lib/tapioca/dsl/pipeline.rb#144
   sig { params(constants: T::Set[::Module]).returns(T::Set[::Module]) }
   def filter_anonymous_and_reloaded_constants(constants); end
 
-  # source://tapioca//lib/tapioca/dsl/pipeline.rb#122
+  # source://tapioca//lib/tapioca/dsl/pipeline.rb#124
   sig do
     params(
       requested_compilers: T::Array[T.class_of(Tapioca::Dsl::Compiler)],
@@ -1211,7 +1356,7 @@ class Tapioca::Dsl::Pipeline
   end
   def gather_active_compilers(requested_compilers, excluded_compilers); end
 
-  # source://tapioca//lib/tapioca/dsl/pipeline.rb#130
+  # source://tapioca//lib/tapioca/dsl/pipeline.rb#132
   sig do
     params(
       requested_constants: T::Array[::Module],
@@ -1220,11 +1365,11 @@ class Tapioca::Dsl::Pipeline
   end
   def gather_constants(requested_constants, requested_paths); end
 
-  # source://tapioca//lib/tapioca/dsl/pipeline.rb#167
+  # source://tapioca//lib/tapioca/dsl/pipeline.rb#173
   sig { params(constant: ::Module).returns(T.nilable(::RBI::File)) }
   def rbi_for_constant(constant); end
 
-  # source://tapioca//lib/tapioca/dsl/pipeline.rb#186
+  # source://tapioca//lib/tapioca/dsl/pipeline.rb#192
   sig { params(error: ::String).returns(T.noreturn) }
   def report_error(error); end
 end
@@ -1299,11 +1444,6 @@ end
 # source://tapioca//lib/tapioca/gem/events.rb#6
 class Tapioca::Gem::Event
   abstract!
-
-  class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-  end
 end
 
 # source://tapioca//lib/tapioca/gem/events.rb#43
@@ -1354,11 +1494,6 @@ class Tapioca::Gem::Listeners::Base
   # source://tapioca//lib/tapioca/gem/listeners/base.rb#41
   sig { params(event: ::Tapioca::Gem::ScopeNodeAdded).void }
   def on_scope(event); end
-
-  class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-  end
 end
 
 # source://tapioca//lib/tapioca/gem/listeners/dynamic_mixins.rb#7
@@ -1406,11 +1541,19 @@ class Tapioca::Gem::Listeners::Methods < ::Tapioca::Gem::Listeners::Base
 
   private
 
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#34
-  sig { params(tree: ::RBI::Tree, module_name: ::String, mod: ::Module, for_visibility: T::Array[::Symbol]).void }
-  def compile_directly_owned_methods(tree, module_name, mod, for_visibility = T.unsafe(nil)); end
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#35
+  sig do
+    params(
+      tree: ::RBI::Tree,
+      module_name: ::String,
+      mod: ::Module,
+      for_visibility: T::Array[::Symbol],
+      attached_class: T.nilable(::Module)
+    ).void
+  end
+  def compile_directly_owned_methods(tree, module_name, mod, for_visibility = T.unsafe(nil), attached_class: T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#63
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#71
   sig do
     params(
       tree: ::RBI::Tree,
@@ -1422,18 +1565,22 @@ class Tapioca::Gem::Listeners::Methods < ::Tapioca::Gem::Listeners::Base
   end
   def compile_method(tree, symbol_name, constant, method, visibility = T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#191
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#211
   sig { override.params(event: ::Tapioca::Gem::NodeAdded).returns(T::Boolean) }
   def ignore?(event); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#184
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#204
   sig { params(constant: ::Module).returns(T.nilable(::UnboundMethod)) }
   def initialize_method_for(constant); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#165
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#172
   sig { params(mod: ::Module).returns(T::Hash[::Symbol, T::Array[::Symbol]]) }
   def method_names_by_visibility(mod); end
 
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#196
+  sig { params(attached_class: T.nilable(::Module), method_name: ::Symbol).returns(T.nilable(T::Boolean)) }
+  def method_new_in_abstract_class?(attached_class, method_name); end
+
   # Check whether the method is defined by the constant.
   #
   # In most cases, it works to check that the constant is the method owner. However,
@@ -1444,7 +1591,7 @@ class Tapioca::Gem::Listeners::Methods < ::Tapioca::Gem::Listeners::Base
   # It walks up the ancestor tree via the `super_method` method; if any of the super
   # methods are owned by the constant, it means that the constant declares the method.
   #
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#151
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#158
   sig { params(method: ::UnboundMethod, constant: ::Module).returns(T::Boolean) }
   def method_owned_by_constant?(method, constant); end
 
@@ -1452,7 +1599,7 @@ class Tapioca::Gem::Listeners::Methods < ::Tapioca::Gem::Listeners::Base
   sig { override.params(event: ::Tapioca::Gem::ScopeNodeAdded).void }
   def on_scope(event); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#174
+  # source://tapioca//lib/tapioca/gem/listeners/methods.rb#181
   sig { params(constant: ::Module, method_name: ::String).returns(T::Boolean) }
   def struct_method?(constant, method_name); end
 end
@@ -1534,7 +1681,7 @@ class Tapioca::Gem::Listeners::SorbetHelpers < ::Tapioca::Gem::Listeners::Base
 
   private
 
-  # source://tapioca//lib/tapioca/gem/listeners/sorbet_helpers.rb#28
+  # source://tapioca//lib/tapioca/gem/listeners/sorbet_helpers.rb#27
   sig { override.params(event: ::Tapioca::Gem::NodeAdded).returns(T::Boolean) }
   def ignore?(event); end
 
@@ -1545,13 +1692,16 @@ end
 
 # source://tapioca//lib/tapioca/gem/listeners/sorbet_props.rb#7
 class Tapioca::Gem::Listeners::SorbetProps < ::Tapioca::Gem::Listeners::Base
+  include ::Tapioca::SorbetHelper
+  include ::Tapioca::RBIHelper
+
   private
 
-  # source://tapioca//lib/tapioca/gem/listeners/sorbet_props.rb#32
+  # source://tapioca//lib/tapioca/gem/listeners/sorbet_props.rb#33
   sig { override.params(event: ::Tapioca::Gem::NodeAdded).returns(T::Boolean) }
   def ignore?(event); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/sorbet_props.rb#13
+  # source://tapioca//lib/tapioca/gem/listeners/sorbet_props.rb#14
   sig { override.params(event: ::Tapioca::Gem::ScopeNodeAdded).void }
   def on_scope(event); end
 end
@@ -1582,7 +1732,7 @@ class Tapioca::Gem::Listeners::SorbetSignatures < ::Tapioca::Gem::Listeners::Bas
   sig { params(signature: T.untyped, parameters: T::Array[[::Symbol, ::String]]).returns(::RBI::Sig) }
   def compile_signature(signature, parameters); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/sorbet_signatures.rb#78
+  # source://tapioca//lib/tapioca/gem/listeners/sorbet_signatures.rb#79
   sig { override.params(event: ::Tapioca::Gem::NodeAdded).returns(T::Boolean) }
   def ignore?(event); end
 
@@ -1609,10 +1759,14 @@ class Tapioca::Gem::Listeners::SorbetTypeVariables < ::Tapioca::Gem::Listeners::
   sig { params(tree: ::RBI::Tree, constant: ::Module).void }
   def compile_type_variable_declarations(tree, constant); end
 
-  # source://tapioca//lib/tapioca/gem/listeners/sorbet_type_variables.rb#50
+  # source://tapioca//lib/tapioca/gem/listeners/sorbet_type_variables.rb#63
   sig { override.params(event: ::Tapioca::Gem::NodeAdded).returns(T::Boolean) }
   def ignore?(event); end
 
+  # source://tapioca//lib/tapioca/gem/listeners/sorbet_type_variables.rb#50
+  sig { params(type_variable: ::Tapioca::TypeVariableModule).returns(T.nilable(::RBI::Node)) }
+  def node_from_type_variable(type_variable); end
+
   # source://tapioca//lib/tapioca/gem/listeners/sorbet_type_variables.rb#15
   sig { override.params(event: ::Tapioca::Gem::ScopeNodeAdded).void }
   def on_scope(event); end
@@ -1739,11 +1893,6 @@ class Tapioca::Gem::NodeAdded < ::Tapioca::Gem::Event
   # source://tapioca//lib/tapioca/gem/events.rb#64
   sig { returns(::String) }
   def symbol; end
-
-  class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-  end
 end
 
 # source://tapioca//lib/tapioca/gem/pipeline.rb#6
@@ -1761,7 +1910,7 @@ class Tapioca::Gem::Pipeline
   sig { returns(::RBI::Tree) }
   def compile; end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#110
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#119
   sig { params(name: T.any(::String, ::Symbol)).returns(T::Boolean) }
   def constant_in_gem?(name); end
 
@@ -1769,31 +1918,33 @@ class Tapioca::Gem::Pipeline
   sig { returns(::Tapioca::Gemfile::GemSpec) }
   def gem; end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#122
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#137
   sig { params(method: ::UnboundMethod).returns(T::Boolean) }
   def method_in_gem?(method); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#130
+  # Helpers
+  #
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#147
   sig { params(constant: ::Module).returns(T.nilable(::String)) }
   def name_of(constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#69
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#71
   sig { params(symbol: ::String, constant: ::Module, node: ::RBI::Const).void }
   def push_const(symbol, constant, node); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#59
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#61
   sig { params(symbol: ::String, constant: ::BasicObject).void }
   def push_constant(symbol, constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#64
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#66
   sig { params(symbol: ::String, constant: ::Module).void }
   def push_foreign_constant(symbol, constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#83
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#85
   sig { params(symbol: ::String, constant: ::Module, node: ::RBI::Scope).void }
   def push_foreign_scope(symbol, constant, node); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#97
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#99
   sig do
     params(
       symbol: ::String,
@@ -1806,103 +1957,148 @@ class Tapioca::Gem::Pipeline
   end
   def push_method(symbol, constant, method, node, signature, parameters); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#76
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#78
   sig { params(symbol: ::String, constant: ::Module, node: ::RBI::Scope).void }
   def push_scope(symbol, constant, node); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#54
+  # Events handling
+  #
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#56
   sig { params(symbol: ::String).void }
   def push_symbol(symbol); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#102
+  # Constants and properties filtering
+  #
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#106
   sig { params(symbol_name: ::String).returns(T::Boolean) }
   def symbol_in_payload?(symbol_name); end
 
   private
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#376
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#440
   sig { params(name: ::String).void }
   def add_to_alias_namespace(name); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#381
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#445
   sig { params(name: ::String).returns(T::Boolean) }
   def alias_namespaced?(name); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#225
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#244
   sig { params(name: ::String, constant: ::Module).void }
   def compile_alias(name, constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#211
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#230
   sig { params(symbol: ::String, constant: ::BasicObject).void }
   def compile_constant(symbol, constant); end
 
-  # Compile
+  # Compiling
   #
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#206
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#219
   sig { params(symbol: ::String, constant: ::Module).void }
   def compile_foreign_constant(symbol, constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#283
-  sig { params(name: ::String, constant: ::Module, foreign_constant: T::Boolean).void }
-  def compile_module(name, constant, foreign_constant: T.unsafe(nil)); end
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#298
+  sig { params(name: ::String, constant: ::Module).void }
+  def compile_module(name, constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#247
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#265
   sig { params(name: ::String, value: ::BasicObject).void }
   def compile_object(name, value); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#308
-  sig { params(constant: ::Class).returns(T.nilable(::String)) }
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#309
+  sig { params(name: ::String, constant: ::Module).returns(::RBI::Scope) }
+  def compile_scope(name, constant); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#323
+  sig { params(constant: T::Class[T.anything]).returns(T.nilable(::String)) }
   def compile_superclass(constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#357
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#421
   sig { params(constant: ::Module, strict: T::Boolean).returns(T::Boolean) }
   def defined_in_gem?(constant, strict: T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#158
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#177
   sig { params(event: ::Tapioca::Gem::Event).void }
   def dispatch(event); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#398
+  # Helpers
+  #
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#464
   sig { params(constant: T.all(::Module, ::T::Generic)).returns(::String) }
   def generic_name_of(constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#369
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#433
   sig { params(constant: ::Module).returns(T::Set[::String]) }
   def get_file_candidates(constant); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#145
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#162
   sig { params(gem: ::Tapioca::Gemfile::GemSpec).returns(T::Set[::String]) }
   def load_bootstrap_symbols(gem); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#388
-  sig { params(name: ::String).void }
-  def mark_seen(name); end
-
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#414
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#480
   sig { params(constant: ::Module, class_name: T.nilable(::String)).returns(T.nilable(::String)) }
   def name_of_proxy_target(constant, class_name); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#153
+  # Events handling
+  #
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#172
   sig { returns(::Tapioca::Gem::Event) }
   def next_event; end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#181
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#200
   sig { params(event: ::Tapioca::Gem::ConstantFound).void }
   def on_constant(event); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#199
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#212
   sig { params(event: ::Tapioca::Gem::NodeAdded).void }
   def on_node(event); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#172
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#191
   sig { params(event: ::Tapioca::Gem::SymbolFound).void }
   def on_symbol(event); end
 
-  # source://tapioca//lib/tapioca/gem/pipeline.rb#393
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#452
+  sig { params(name: ::String).void }
+  def seen!(name); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#457
   sig { params(name: ::String).returns(T::Boolean) }
   def seen?(name); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#391
+  sig { params(name: ::String, constant: ::Module).returns(T::Boolean) }
+  def skip_alias?(name, constant); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#379
+  sig { params(name: ::String, constant: T.anything).returns(T::Boolean) }
+  def skip_constant?(name, constant); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#408
+  sig { params(name: ::String, constant: ::Module).returns(T::Boolean) }
+  def skip_foreign_constant?(name, constant); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#413
+  sig { params(name: ::String, constant: ::Module).returns(T::Boolean) }
+  def skip_module?(name, constant); end
+
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#400
+  sig { params(name: ::String, constant: ::BasicObject).returns(T::Boolean) }
+  def skip_object?(name, constant); end
+
+  # Constants and properties filtering
+  #
+  # source://tapioca//lib/tapioca/gem/pipeline.rb#374
+  sig { params(name: ::String).returns(T::Boolean) }
+  def skip_symbol?(name); end
 end
 
+# this looks something like:
+# "(eval at /path/to/file.rb:123)"
+# and we are just interested in the "/path/to/file.rb" part
+#
+# source://tapioca//lib/tapioca/gem/pipeline.rb#116
+Tapioca::Gem::Pipeline::EVAL_SOURCE_FILE_PATTERN = T.let(T.unsafe(nil), Regexp)
+
 # source://tapioca//lib/tapioca/gem/pipeline.rb#11
 Tapioca::Gem::Pipeline::IGNORED_SYMBOLS = T.let(T.unsafe(nil), Array)
 
@@ -1953,189 +2149,170 @@ module Tapioca::GemHelper
   def path_in_dir?(path, dir); end
 end
 
-# source://tapioca//lib/tapioca/gemfile.rb#5
+# source://tapioca//lib/tapioca/gemfile.rb#7
 class Tapioca::Gemfile
-  # source://tapioca//lib/tapioca/gemfile.rb#69
-  sig { params(exclude: T::Array[::String]).void }
-  def initialize(exclude); end
+  # source://tapioca//lib/tapioca/gemfile.rb#27
+  sig { params(excluded_gems: T::Array[::String]).void }
+  def initialize(excluded_gems); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#60
+  # source://tapioca//lib/tapioca/gemfile.rb#18
   sig { returns(::Bundler::Definition) }
   def definition; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#63
+  # source://tapioca//lib/tapioca/gemfile.rb#21
   sig { returns(T::Array[::Tapioca::Gemfile::GemSpec]) }
   def dependencies; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#80
+  # source://tapioca//lib/tapioca/gemfile.rb#40
   sig { params(gem_name: ::String).returns(T.nilable(::Tapioca::Gemfile::GemSpec)) }
   def gem(gem_name); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#66
+  # source://tapioca//lib/tapioca/gemfile.rb#24
   sig { returns(T::Array[::String]) }
   def missing_specs; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#85
+  # source://tapioca//lib/tapioca/gemfile.rb#45
   sig { void }
   def require_bundle; end
 
   private
 
-  # source://tapioca//lib/tapioca/gemfile.rb#130
+  # source://tapioca//lib/tapioca/gemfile.rb#92
   sig { returns(::String) }
   def dir; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#92
+  # source://tapioca//lib/tapioca/gemfile.rb#54
   sig { returns(::File) }
   def gemfile; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#125
+  # source://tapioca//lib/tapioca/gemfile.rb#87
   sig { returns(T::Array[::Symbol]) }
   def groups; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#95
+  # source://tapioca//lib/tapioca/gemfile.rb#57
   sig { returns([T::Array[::Tapioca::Gemfile::GemSpec], T::Array[::String]]) }
   def load_dependencies; end
 
   # @return [File]
   #
-  # source://tapioca//lib/tapioca/gemfile.rb#92
+  # source://tapioca//lib/tapioca/gemfile.rb#54
   def lockfile; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#106
+  # source://tapioca//lib/tapioca/gemfile.rb#68
   sig { returns([T::Enumerable[T.any(::Bundler::StubSpecification, ::Gem::Specification)], T::Array[::String]]) }
   def materialize_deps; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#120
+  # source://tapioca//lib/tapioca/gemfile.rb#82
   sig { returns(::Bundler::Runtime) }
   def runtime; end
 end
 
-# This is a module that gets prepended to `Bundler::Dependency` and
-# makes sure even gems marked as `require: false` are required during
-# `Bundler.require`.
-#
-# source://tapioca//lib/tapioca/gemfile.rb#18
-module Tapioca::Gemfile::AutoRequireHook
-  requires_ancestor { Bundler::Dependency }
-
-  # source://tapioca//lib/tapioca/gemfile.rb#39
-  sig { returns(T.untyped) }
-  def autorequire; end
-
-  class << self
-    # source://tapioca//lib/tapioca/gemfile.rb#30
-    sig { params(exclude: T::Array[::String]).returns(T::Array[::String]) }
-    def exclude=(exclude); end
-
-    # source://tapioca//lib/tapioca/gemfile.rb#33
-    sig { params(name: T.untyped).returns(T::Boolean) }
-    def excluded?(name); end
-  end
-end
-
-# source://tapioca//lib/tapioca/gemfile.rb#134
+# source://tapioca//lib/tapioca/gemfile.rb#96
 class Tapioca::Gemfile::GemSpec
   include ::Tapioca::GemHelper
 
-  # source://tapioca//lib/tapioca/gemfile.rb#173
+  # source://tapioca//lib/tapioca/gemfile.rb#136
   sig { params(spec: T.any(::Bundler::StubSpecification, ::Gem::Specification)).void }
   def initialize(spec); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#183
+  # source://tapioca//lib/tapioca/gemfile.rb#146
   sig { params(other: ::BasicObject).returns(T::Boolean) }
   def ==(other); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#203
+  # source://tapioca//lib/tapioca/gemfile.rb#171
   sig { params(path: ::String).returns(T::Boolean) }
   def contains_path?(path); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#222
+  # source://tapioca//lib/tapioca/gemfile.rb#161
+  sig { returns(T::Array[::Gem::Dependency]) }
+  def dependencies; end
+
+  # source://tapioca//lib/tapioca/gemfile.rb#190
   sig { returns(T::Boolean) }
   def export_rbi_files?; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#217
+  # source://tapioca//lib/tapioca/gemfile.rb#185
   sig { returns(T::Array[::String]) }
   def exported_rbi_files; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#227
+  # source://tapioca//lib/tapioca/gemfile.rb#195
   sig { returns(::RBI::MergeTree) }
   def exported_rbi_tree; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#170
+  # source://tapioca//lib/tapioca/gemfile.rb#133
   sig { returns(T::Array[::Pathname]) }
   def files; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#167
+  # source://tapioca//lib/tapioca/gemfile.rb#130
   sig { returns(::String) }
   def full_gem_path; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#188
+  # source://tapioca//lib/tapioca/gemfile.rb#151
   sig { params(gemfile_dir: ::String).returns(T::Boolean) }
   def ignore?(gemfile_dir); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#193
+  # source://tapioca//lib/tapioca/gemfile.rb#156
   sig { returns(::String) }
   def name; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#212
+  # source://tapioca//lib/tapioca/gemfile.rb#180
   sig { void }
   def parse_yard_docs; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#198
+  # source://tapioca//lib/tapioca/gemfile.rb#166
   sig { returns(::String) }
   def rbi_file_name; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#239
+  # source://tapioca//lib/tapioca/gemfile.rb#207
   sig { params(file: ::Pathname).returns(::Pathname) }
   def relative_path_for(file); end
 
   # @return [String]
   #
-  # source://tapioca//lib/tapioca/gemfile.rb#167
+  # source://tapioca//lib/tapioca/gemfile.rb#130
   def version; end
 
   private
 
-  # source://tapioca//lib/tapioca/gemfile.rb#250
+  # source://tapioca//lib/tapioca/gemfile.rb#218
   sig { returns(T::Array[::Pathname]) }
   def collect_files; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#265
+  # source://tapioca//lib/tapioca/gemfile.rb#233
   sig { returns(T.nilable(T::Boolean)) }
   def default_gem?; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#323
+  # source://tapioca//lib/tapioca/gemfile.rb#292
   sig { returns(T::Boolean) }
   def gem_ignored?; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#302
+  # source://tapioca//lib/tapioca/gemfile.rb#271
   sig { params(path: ::String).returns(T::Boolean) }
   def has_parent_gemspec?(path); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#270
+  # source://tapioca//lib/tapioca/gemfile.rb#238
   sig { returns(::Regexp) }
   def require_paths_prefix_matcher; end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#281
+  # source://tapioca//lib/tapioca/gemfile.rb#250
   sig { params(file: ::String).returns(::Pathname) }
   def resolve_to_ruby_lib_dir(file); end
 
-  # source://tapioca//lib/tapioca/gemfile.rb#295
+  # source://tapioca//lib/tapioca/gemfile.rb#264
   sig { returns(::String) }
   def version_string; end
 
   class << self
-    # source://tapioca//lib/tapioca/gemfile.rb#142
+    # source://tapioca//lib/tapioca/gemfile.rb#104
     sig { returns(T::Hash[::String, ::Tapioca::Gemfile::GemSpec]) }
     def spec_lookup_by_file_path; end
   end
 end
 
-# source://tapioca//lib/tapioca/gemfile.rb#154
+# source://tapioca//lib/tapioca/gemfile.rb#116
 Tapioca::Gemfile::GemSpec::IGNORED_GEMS = T.let(T.unsafe(nil), Array)
 
-# source://tapioca//lib/tapioca/gemfile.rb#8
+# source://tapioca//lib/tapioca/gemfile.rb#10
 Tapioca::Gemfile::Spec = T.type_alias { T.any(::Bundler::StubSpecification, ::Gem::Specification) }
 
 # source://tapioca//lib/tapioca/loaders/loader.rb#5
@@ -2143,73 +2320,89 @@ module Tapioca::Loaders; end
 
 # source://tapioca//lib/tapioca/loaders/dsl.rb#6
 class Tapioca::Loaders::Dsl < ::Tapioca::Loaders::Loader
-  # source://tapioca//lib/tapioca/loaders/dsl.rb#29
-  sig { params(tapioca_path: ::String, eager_load: T::Boolean, app_root: ::String).void }
-  def initialize(tapioca_path:, eager_load: T.unsafe(nil), app_root: T.unsafe(nil)); end
+  # source://tapioca//lib/tapioca/loaders/dsl.rb#38
+  sig do
+    params(
+      tapioca_path: ::String,
+      eager_load: T::Boolean,
+      app_root: ::String,
+      halt_upon_load_error: T::Boolean
+    ).void
+  end
+  def initialize(tapioca_path:, eager_load: T.unsafe(nil), app_root: T.unsafe(nil), halt_upon_load_error: T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/loaders/dsl.rb#20
+  # source://tapioca//lib/tapioca/loaders/dsl.rb#27
   sig { override.void }
   def load; end
 
   protected
 
-  # source://tapioca//lib/tapioca/loaders/dsl.rb#61
+  # source://tapioca//lib/tapioca/loaders/dsl.rb#81
   sig { void }
   def load_application; end
 
-  # source://tapioca//lib/tapioca/loaders/dsl.rb#43
+  # source://tapioca//lib/tapioca/loaders/dsl.rb#63
   sig { void }
   def load_dsl_compilers; end
 
-  # source://tapioca//lib/tapioca/loaders/dsl.rb#38
+  # source://tapioca//lib/tapioca/loaders/dsl.rb#48
   sig { void }
   def load_dsl_extensions; end
 
   class << self
-    # source://tapioca//lib/tapioca/loaders/dsl.rb#13
-    sig { params(tapioca_path: ::String, eager_load: T::Boolean, app_root: ::String).void }
-    def load_application(tapioca_path:, eager_load: T.unsafe(nil), app_root: T.unsafe(nil)); end
+    # source://tapioca//lib/tapioca/loaders/dsl.rb#15
+    sig do
+      params(
+        tapioca_path: ::String,
+        eager_load: T::Boolean,
+        app_root: ::String,
+        halt_upon_load_error: T::Boolean
+      ).void
+    end
+    def load_application(tapioca_path:, eager_load: T.unsafe(nil), app_root: T.unsafe(nil), halt_upon_load_error: T.unsafe(nil)); end
   end
 end
 
 # source://tapioca//lib/tapioca/loaders/gem.rb#6
 class Tapioca::Loaders::Gem < ::Tapioca::Loaders::Loader
-  # source://tapioca//lib/tapioca/loaders/gem.rb#46
+  # source://tapioca//lib/tapioca/loaders/gem.rb#49
   sig do
     params(
       bundle: ::Tapioca::Gemfile,
       prerequire: T.nilable(::String),
       postrequire: ::String,
-      default_command: ::String
+      default_command: ::String,
+      halt_upon_load_error: T::Boolean
     ).void
   end
-  def initialize(bundle:, prerequire:, postrequire:, default_command:); end
+  def initialize(bundle:, prerequire:, postrequire:, default_command:, halt_upon_load_error:); end
 
-  # source://tapioca//lib/tapioca/loaders/gem.rb#32
+  # source://tapioca//lib/tapioca/loaders/gem.rb#34
   sig { override.void }
   def load; end
 
   protected
 
-  # source://tapioca//lib/tapioca/loaders/gem.rb#76
+  # source://tapioca//lib/tapioca/loaders/gem.rb#80
   sig { params(file: ::String, error: ::LoadError).void }
   def explain_failed_require(file, error); end
 
-  # source://tapioca//lib/tapioca/loaders/gem.rb#56
+  # source://tapioca//lib/tapioca/loaders/gem.rb#60
   sig { void }
   def require_gem_file; end
 
   class << self
-    # source://tapioca//lib/tapioca/loaders/gem.rb#20
+    # source://tapioca//lib/tapioca/loaders/gem.rb#21
     sig do
       params(
         bundle: ::Tapioca::Gemfile,
         prerequire: T.nilable(::String),
         postrequire: ::String,
-        default_command: ::String
+        default_command: ::String,
+        halt_upon_load_error: T::Boolean
       ).void
     end
-    def load_application(bundle:, prerequire:, postrequire:, default_command:); end
+    def load_application(bundle:, prerequire:, postrequire:, default_command:, halt_upon_load_error:); end
   end
 end
 
@@ -2235,68 +2428,82 @@ class Tapioca::Loaders::Loader
 
   private
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#182
+  # Rails 7.2 renamed `eager_load_paths` to `all_eager_load_paths`, which maintains the same original functionality.
+  # The `eager_load_paths` method still exists, but doesn't return all paths anymore and causes Tapioca to miss some
+  # engine paths. The following commit is the change:
+  # https://github.com/rails/rails/commit/ebfca905db14020589c22e6937382e6f8f687664
+  #
+  # @param engine [T.class_of(Rails::Engine)]
+  # @return [Array<String>]
+  #
+  # source://sorbet-runtime/0.5.11262/lib/types/private/methods/_methods.rb#257
+  def eager_load_paths(*args, **_arg1, &blk); end
+
+  # source://tapioca//lib/tapioca/loaders/loader.rb#198
   sig { void }
   def eager_load_rails_app; end
 
   # @return [Array<T.class_of(Rails::Engine)>]
   #
-  # source://tapioca//lib/tapioca/loaders/loader.rb#153
+  # source://tapioca//lib/tapioca/loaders/loader.rb#169
   def engines; end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#24
+  # source://tapioca//lib/tapioca/loaders/loader.rb#29
   sig do
     params(
       gemfile: ::Tapioca::Gemfile,
       initialize_file: T.nilable(::String),
-      require_file: T.nilable(::String)
+      require_file: T.nilable(::String),
+      halt_upon_load_error: T::Boolean
     ).void
   end
-  def load_bundle(gemfile, initialize_file, require_file); end
+  def load_bundle(gemfile, initialize_file, require_file, halt_upon_load_error); end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#111
+  # source://tapioca//lib/tapioca/loaders/loader.rb#127
   sig { void }
   def load_engines_in_classic_mode; end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#89
+  # source://tapioca//lib/tapioca/loaders/loader.rb#105
   sig { void }
   def load_engines_in_zeitwerk_mode; end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#37
-  sig { params(environment_load: T::Boolean, eager_load: T::Boolean, app_root: ::String).void }
-  def load_rails_application(environment_load: T.unsafe(nil), eager_load: T.unsafe(nil), app_root: T.unsafe(nil)); end
+  # source://tapioca//lib/tapioca/loaders/loader.rb#49
+  sig do
+    params(
+      environment_load: T::Boolean,
+      eager_load: T::Boolean,
+      app_root: ::String,
+      halt_upon_load_error: T::Boolean
+    ).void
+  end
+  def load_rails_application(environment_load: T.unsafe(nil), eager_load: T.unsafe(nil), app_root: T.unsafe(nil), halt_upon_load_error: T.unsafe(nil)); end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#64
+  # source://tapioca//lib/tapioca/loaders/loader.rb#80
   sig { void }
   def load_rails_engines; end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#203
+  # source://tapioca//lib/tapioca/loaders/loader.rb#219
   sig { params(file: T.nilable(::String)).void }
   def require_helper(file); end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#78
+  # source://tapioca//lib/tapioca/loaders/loader.rb#94
   def run_initializers; end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#167
+  # source://tapioca//lib/tapioca/loaders/loader.rb#183
   sig { params(path: ::String).void }
   def safe_require(path); end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#174
+  # source://tapioca//lib/tapioca/loaders/loader.rb#190
   sig { void }
   def silence_deprecations; end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#136
+  # source://tapioca//lib/tapioca/loaders/loader.rb#152
   sig { params(blk: T.proc.void).void }
   def with_rails_application(&blk); end
 
-  # source://tapioca//lib/tapioca/loaders/loader.rb#129
+  # source://tapioca//lib/tapioca/loaders/loader.rb#145
   sig { returns(T::Boolean) }
   def zeitwerk_mode?; end
-
-  class << self
-    # source://sorbet-runtime/0.5.10832/lib/types/private/abstract/declare.rb#37
-    def new(*args, **_arg1, &blk); end
-  end
 end
 
 # source://tapioca//lib/tapioca/helpers/rbi_files_helper.rb#5
@@ -2334,7 +2541,7 @@ module Tapioca::RBIFilesHelper
       dsl_dir: ::String,
       auto_strictness: T::Boolean,
       gems: T::Array[::Tapioca::Gemfile::GemSpec],
-      compilers: T::Enumerable[::Class]
+      compilers: T::Enumerable[T.class_of(Tapioca::Dsl::Compiler)]
     ).void
   end
   def validate_rbi_files(command:, gem_dir:, dsl_dir:, auto_strictness:, gems: T.unsafe(nil), compilers: T.unsafe(nil)); end
@@ -2643,7 +2850,7 @@ module Tapioca::Runtime::GenericTypeRegistry
     def create_generic_type(constant, name); end
 
     # source://tapioca//lib/tapioca/runtime/generic_type_registry.rb#155
-    sig { params(constant: ::Class).returns(::Class) }
+    sig { params(constant: T::Class[T.anything]).returns(T::Class[T.anything]) }
     def create_safe_subclass(constant); end
 
     # source://tapioca//lib/tapioca/runtime/generic_type_registry.rb#182
@@ -2668,6 +2875,10 @@ module Tapioca::Runtime::Reflection
   extend ::Tapioca::Runtime::AttachedClassOf
   extend ::Tapioca::Runtime::Reflection
 
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#196
+  sig { params(constant: ::Module).returns(T.untyped) }
+  def abstract_type_of(constant); end
+
   # source://tapioca//lib/tapioca/runtime/reflection.rb#77
   sig { params(constant: ::Module).returns(T::Array[::Module]) }
   def ancestors_of(constant); end
@@ -2677,7 +2888,7 @@ module Tapioca::Runtime::Reflection
   def are_equal?(object, other); end
 
   # source://tapioca//lib/tapioca/runtime/reflection.rb#56
-  sig { params(object: ::BasicObject).returns(::Class) }
+  sig { params(object: ::BasicObject).returns(T::Class[T.anything]) }
   def class_of(object); end
 
   # @param constant [BasicObject]
@@ -2712,7 +2923,7 @@ module Tapioca::Runtime::Reflection
   sig do
     type_parameters(:U)
       .params(
-        klass: T.all(::Class, T.type_parameter(:U))
+        klass: T.all(T.type_parameter(:U), T::Class[T.anything])
       ).returns(T::Array[T.type_parameter(:U)])
   end
   def descendants_of(klass); end
@@ -2721,6 +2932,10 @@ module Tapioca::Runtime::Reflection
   sig { params(constant: ::Module).returns(T::Set[::String]) }
   def file_candidates_for(constant); end
 
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#202
+  sig { params(constant: ::Module).returns(T::Boolean) }
+  def final_module?(constant); end
+
   # source://tapioca//lib/tapioca/runtime/reflection.rb#112
   sig { params(constant: ::Module).returns(T::Array[::Module]) }
   def inherited_ancestors_of(constant); end
@@ -2765,33 +2980,41 @@ module Tapioca::Runtime::Reflection
   sig { params(locations: T.nilable(T::Array[::Thread::Backtrace::Location])).returns(::String) }
   def resolve_loc(locations); end
 
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#207
+  sig { params(constant: ::Module).returns(T::Boolean) }
+  def sealed_module?(constant); end
+
   # source://tapioca//lib/tapioca/runtime/reflection.rb#133
   sig { params(method: T.any(::Method, ::UnboundMethod)).returns(T.untyped) }
   def signature_of(method); end
 
   # source://tapioca//lib/tapioca/runtime/reflection.rb#72
-  sig { params(constant: ::Module).returns(::Class) }
+  sig { params(constant: ::Module).returns(T::Class[T.anything]) }
   def singleton_class_of(constant); end
 
   # source://tapioca//lib/tapioca/runtime/reflection.rb#82
-  sig { params(constant: ::Class).returns(T.nilable(::Class)) }
+  sig { params(constant: T::Class[T.anything]).returns(T.nilable(T::Class[T.anything])) }
   def superclass_of(constant); end
 
   private
 
-  # source://tapioca//lib/tapioca/runtime/reflection.rb#228
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#244
   sig { params(parent: ::Module, name: ::String).returns(T.nilable(::Module)) }
   def child_module_for_parent_with_name(parent, name); end
 
-  # source://tapioca//lib/tapioca/runtime/reflection.rb#239
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#260
+  sig { params(name: ::String).returns(T::Boolean) }
+  def has_aliased_namespace?(name); end
+
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#255
   sig { params(method: ::UnboundMethod).returns(T::Boolean) }
   def method_defined_by_forwardable_module?(method); end
 
-  # source://tapioca//lib/tapioca/runtime/reflection.rb#214
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#230
   sig { params(constant: ::Module).returns(T::Array[::UnboundMethod]) }
   def methods_for(constant); end
 
-  # source://tapioca//lib/tapioca/runtime/reflection.rb#198
+  # source://tapioca//lib/tapioca/runtime/reflection.rb#214
   sig { params(constant: ::Module).returns(T::Array[::UnboundMethod]) }
   def relevant_methods_for(constant); end
 end
@@ -3031,15 +3254,15 @@ Tapioca::SORBET_DIR = T.let(T.unsafe(nil), String)
 
 # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#5
 module Tapioca::SorbetHelper
-  # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#33
+  # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#32
   sig { params(sorbet_args: ::String).returns(::Spoom::ExecResult) }
   def sorbet(*sorbet_args); end
 
-  # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#38
+  # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#37
   sig { returns(::String) }
   def sorbet_path; end
 
-  # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#45
+  # source://tapioca//lib/tapioca/helpers/sorbet_helper.rb#44
   sig { params(feature: ::Symbol, version: T.nilable(::Gem::Version)).returns(T::Boolean) }
   def sorbet_supports?(feature, version: T.unsafe(nil)); end
 end
@@ -3105,7 +3328,7 @@ module Tapioca::Static::SymbolLoader
     sig { params(gem: ::Tapioca::Gemfile::GemSpec).returns(T::Set[::String]) }
     def engine_symbols(gem); end
 
-    # source://tapioca//lib/tapioca/static/symbol_loader.rb#40
+    # source://tapioca//lib/tapioca/static/symbol_loader.rb#48
     sig { params(gem: ::Tapioca::Gemfile::GemSpec).returns(T::Set[::String]) }
     def gem_symbols(gem); end
 
@@ -3113,7 +3336,7 @@ module Tapioca::Static::SymbolLoader
     sig { returns(T::Set[::String]) }
     def payload_symbols; end
 
-    # source://tapioca//lib/tapioca/static/symbol_loader.rb#45
+    # source://tapioca//lib/tapioca/static/symbol_loader.rb#53
     sig { params(paths: T::Array[::Pathname]).returns(T::Set[::String]) }
     def symbols_from_paths(paths); end
 
@@ -3121,10 +3344,10 @@ module Tapioca::Static::SymbolLoader
 
     # @return [Array<T.class_of(Rails::Engine)>]
     #
-    # source://sorbet-runtime/0.5.10832/lib/types/private/methods/_methods.rb#255
+    # source://sorbet-runtime/0.5.11262/lib/types/private/methods/_methods.rb#257
     def engines(*args, **_arg1, &blk); end
 
-    # source://tapioca//lib/tapioca/static/symbol_loader.rb#73
+    # source://tapioca//lib/tapioca/static/symbol_loader.rb#82
     sig { params(input: ::String, table_type: ::String).returns(::String) }
     def symbol_table_json_from(input, table_type: T.unsafe(nil)); end
   end
@@ -3164,16 +3387,16 @@ Tapioca::TAPIOCA_CONFIG_FILE = T.let(T.unsafe(nil), String)
 # source://tapioca//lib/tapioca.rb#34
 Tapioca::TAPIOCA_DIR = T.let(T.unsafe(nil), String)
 
-# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#122
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#108
 class Tapioca::TypeVariable < ::T::Types::TypeVariable
   # @return [TypeVariable] a new instance of TypeVariable
   #
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#123
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#109
   def initialize(name, variance); end
 
   # Returns the value of attribute name.
   #
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#128
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#114
   def name; end
 end
 
@@ -3183,94 +3406,75 @@ end
 # need to do any matching of constants to type variables to bind their names, Ruby will
 # do that automatically for us and we get the `name` method for free from `Module`.
 #
-# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#136
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#122
 class Tapioca::TypeVariableModule < ::Module
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#158
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#146
   sig do
     params(
       context: ::Module,
       type: ::Tapioca::TypeVariableModule::Type,
       variance: ::Symbol,
-      fixed: T.untyped,
-      lower: T.untyped,
-      upper: T.untyped,
       bounds_proc: T.nilable(T.proc.returns(T::Hash[::Symbol, T.untyped]))
     ).void
   end
-  def initialize(context, type, variance, fixed, lower, upper, bounds_proc); end
+  def initialize(context, type, variance, bounds_proc); end
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#212
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#181
   sig { returns(::Tapioca::TypeVariable) }
   def coerce_to_type_variable; end
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#192
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#161
   sig { returns(T::Boolean) }
   def fixed?; end
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#173
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#155
   sig { returns(T.nilable(::String)) }
   def name; end
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#197
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#166
   sig { returns(::String) }
   def serialize; end
 
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#136
+  sig { returns(::Tapioca::TypeVariableModule::Type) }
+  def type; end
+
   private
 
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#246
+  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#188
   sig { returns(T::Hash[::Symbol, T.untyped]) }
   def bounds; end
-
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#222
-  sig do
-    params(
-      fixed: T.untyped,
-      lower: T.untyped,
-      upper: T.untyped
-    ).returns(T.proc.returns(T::Hash[::Symbol, T.untyped]))
-  end
-  def build_bounds_proc(fixed, lower, upper); end
-
-  # source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#236
-  sig do
-    type_parameters(:Result)
-      .params(
-        block: T.proc.returns(T.type_parameter(:Result))
-      ).returns(T.type_parameter(:Result))
-  end
-  def with_bound_name_pre_3_0(&block); end
 end
 
-# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#139
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#133
+Tapioca::TypeVariableModule::DEFAULT_BOUNDS_PROC = T.let(T.unsafe(nil), Proc)
+
+# source://tapioca//lib/tapioca/sorbet_ext/generic_name_patch.rb#125
 class Tapioca::TypeVariableModule::Type < ::T::Enum
   enums do
     Member = new
     Template = new
+    HasAttachedClass = new
   end
 end
 
 # source://tapioca//lib/tapioca/version.rb#5
 Tapioca::VERSION = T.let(T.unsafe(nil), String)
 
-# source://tapioca//lib/tapioca/helpers/source_uri.rb#6
-module URI
-  include ::URI::RFC2396_REGEXP
-end
-
 # source://tapioca//lib/tapioca/helpers/source_uri.rb#7
 class URI::Source < ::URI::File
   # source://tapioca//lib/tapioca/helpers/source_uri.rb#58
   sig { params(v: T.nilable(::String)).returns(T::Boolean) }
   def check_host(v); end
 
-  # source://uri/0.12.1/uri/generic.rb#243
+  # source://uri/0.13.0/uri/generic.rb#243
   def gem_name; end
 
   # source://tapioca//lib/tapioca/helpers/source_uri.rb#25
   sig { returns(T.nilable(::String)) }
   def gem_version; end
 
-  # source://uri/0.12.1/uri/generic.rb#283
+  # source://uri/0.13.0/uri/generic.rb#283
   def line_number; end
 
   # source://tapioca//lib/tapioca/helpers/source_uri.rb#51
@@ -3297,5 +3501,3 @@ end
 
 # source://tapioca//lib/tapioca/helpers/source_uri.rb#10
 URI::Source::COMPONENT = T.let(T.unsafe(nil), Array)
-
-class URI::WSS < ::URI::WS; end