tapioca 0.17.9 → 0.18.0

data/lib/tapioca/dsl/compilers/kredis.rb

@@ -65,8 +65,6 @@ module Tapioca
       # ~~~
       #: [ConstantType = (Class[::Kredis::Attributes] & ::Kredis::Attributes::ClassMethods & Extensions::Kredis)]
       class Kredis < Compiler
-        extend T::Sig
-
         # @override
         #: -> void
         def decorate
@@ -85,10 +83,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             all_classes
               .grep(::Kredis::Attributes::ClassMethods)

data/lib/tapioca/dsl/compilers/mixed_in_class_attributes.rb

@@ -44,10 +44,8 @@ module Tapioca
       #   end
       # end
       # ~~~
-      #: [ConstantType = Module]
+      #: [ConstantType = T::Module[top]]
       class MixedInClassAttributes < Compiler
-        extend T::Sig
-
         # @override
         #: -> void
         def decorate
@@ -60,10 +58,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             # Select all non-anonymous modules that have overridden Module.included
             all_modules.select do |mod|

data/lib/tapioca/dsl/compilers/protobuf.rb

@@ -73,8 +73,6 @@ module Tapioca
           prop :default, String
         end
 
-        extend T::Sig
-
         FIELD_RE = /^[a-z_][a-zA-Z0-9_]*$/
 
         # @override
@@ -153,10 +151,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             marker = Google::Protobuf::MessageExts::ClassMethods
 
@@ -168,7 +164,7 @@ module Tapioca
             else
               T.cast(
                 ObjectSpace.each_object(marker).to_a,
-                T::Array[Module],
+                T::Array[T::Module[T.anything]],
               )
             end
 

data/lib/tapioca/dsl/compilers/rails_generators.rb

@@ -35,8 +35,6 @@ module Tapioca
       # ~~~
       #: [ConstantType = singleton(::Rails::Generators::Base)]
       class RailsGenerators < Compiler
-        extend T::Sig
-
         BUILT_IN_MATCHER = /::(ActionMailbox|ActionText|ActiveRecord|Rails)::Generators/
 
         # @override
@@ -57,10 +55,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             all_classes.select do |const|
               name = qualified_name_of(const)

data/lib/tapioca/dsl/compilers/sidekiq_worker.rb

@@ -43,8 +43,6 @@ module Tapioca
       # * `self.perform_in` will also accept a `ActiveSupport::Duration` value
       #: [ConstantType = singleton(::Sidekiq::Worker)]
       class SidekiqWorker < Compiler
-        extend T::Sig
-
         # @override
         #: -> void
         def decorate
@@ -84,10 +82,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             all_classes.select { |c| Sidekiq::Worker > c }
           end

data/lib/tapioca/dsl/compilers/smart_properties.rb

@@ -60,8 +60,6 @@ module Tapioca
       # ~~~
       #: [ConstantType = singleton(::SmartProperties)]
       class SmartProperties < Compiler
-        extend T::Sig
-
         # @override
         #: -> void
         def decorate
@@ -81,10 +79,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             all_modules.select do |c|
               name_of(c) &&

data/lib/tapioca/dsl/compilers/state_machines.rb

@@ -109,10 +109,8 @@ module Tapioca
       #   end
       # end
       # ~~~
-      #: [ConstantType = (Module & ::StateMachines::ClassMethods)]
+      #: [ConstantType = (T::Module[top] & ::StateMachines::ClassMethods)]
       class StateMachines < Compiler
-        extend T::Sig
-
         # @override
         #: -> void
         def decorate
@@ -155,10 +153,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
-
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             all_classes.select { |mod| ::StateMachines::InstanceMethods > mod }
           end

data/lib/tapioca/dsl/compilers/url_helpers.rb

@@ -78,10 +78,8 @@ module Tapioca
       #   include GeneratedUrlHelpersModule
       # end
       # ~~~
-      #: [ConstantType = Module]
+      #: [ConstantType = T::Module[top]]
       class UrlHelpers < Compiler
-        extend T::Sig
-
         # @override
         #: -> void
         def decorate
@@ -97,9 +95,8 @@ module Tapioca
         end
 
         class << self
-          extend T::Sig
           # @override
-          #: -> T::Enumerable[Module]
+          #: -> Enumerable[T::Module[top]]
           def gather_constants
             return [] unless defined?(Rails.application) && Rails.application
 
@@ -131,7 +128,7 @@ module Tapioca
             constants.concat(NON_DISCOVERABLE_INCLUDERS).push(GeneratedUrlHelpersModule, GeneratedPathHelpersModule)
           end
 
-          #: -> Array[Module]
+          #: -> Array[T::Module[top]]
           def gather_non_discoverable_includers
             [].tap do |includers|
               if defined?(ActionController::TemplateAssertions) && defined?(ActionDispatch::IntegrationTest)
@@ -146,7 +143,7 @@ module Tapioca
 
           # Returns `true` if `mod` "directly" includes `helper`.
           # For classes, this method will return false if the `helper` is included only by a superclass
-          #: (Module mod, Module helper) -> bool
+          #: (T::Module[top] mod, T::Module[top] helper) -> bool
           private def includes_helper?(mod, helper)
             ancestors = ancestors_of(mod)
 
@@ -161,11 +158,11 @@ module Tapioca
           end
         end
 
-        NON_DISCOVERABLE_INCLUDERS = gather_non_discoverable_includers #: Array[Module]
+        NON_DISCOVERABLE_INCLUDERS = gather_non_discoverable_includers #: Array[T::Module[top]]
 
         private
 
-        #: (RBI::Tree root, Module constant) -> void
+        #: (RBI::Tree root, T::Module[top] constant) -> void
         def generate_module_for(root, constant)
           root.create_module(T.must(constant.name)) do |mod|
             mod.create_include("::ActionDispatch::Routing::UrlFor")
@@ -181,7 +178,7 @@ module Tapioca
           end
         end
 
-        #: (RBI::Scope mod, Module helper_module) -> void
+        #: (RBI::Scope mod, T::Module[top] helper_module) -> void
         def create_mixins_for(mod, helper_module)
           include_helper = constant.ancestors.include?(helper_module) || NON_DISCOVERABLE_INCLUDERS.include?(constant)
           extend_helper = constant.singleton_class.ancestors.include?(helper_module)

data/lib/tapioca/dsl/helpers/active_model_type_helper.rb

@@ -6,8 +6,6 @@ module Tapioca
     module Helpers
       module ActiveModelTypeHelper
         class << self
-          extend T::Sig
-
           # Returns the type indicated by the custom ActiveModel::Type::Value.
           # Accepts subclasses of ActiveModel::Type::Value as well as classes that implement similar methods.
           #: (untyped type_value) -> String

data/lib/tapioca/dsl/helpers/active_record_column_type_helper.rb

@@ -7,12 +7,9 @@ module Tapioca
   module Dsl
     module Helpers
       class ActiveRecordColumnTypeHelper
-        extend T::Sig
         include RBIHelper
 
         class ColumnTypeOption < T::Enum
-          extend T::Sig
-
           enums do
             Untyped = new("untyped")
             Nilable = new("nilable")
@@ -20,9 +17,9 @@ module Tapioca
           end
 
           class << self
-            extend T::Sig
-
-            #: (Hash[String, untyped] options) { (String value, ColumnTypeOption default_column_type_option) -> void } -> ColumnTypeOption
+            #: (
+            #|   Hash[String, untyped] options,
+            #| ) { (String value, ColumnTypeOption default_column_type_option) -> void } -> ColumnTypeOption
             def from_options(options, &block)
               column_type_option = Persisted
               value = options["ActiveRecordColumnTypes"]

data/lib/tapioca/dsl/helpers/active_record_constants_helper.rb

@@ -5,8 +5,6 @@ module Tapioca
   module Dsl
     module Helpers
       module ActiveRecordConstantsHelper
-        extend T::Sig
-
         ReflectionType = T.type_alias do
           T.any(::ActiveRecord::Reflection::ThroughReflection, ::ActiveRecord::Reflection::AssociationReflection)
         end

data/lib/tapioca/dsl/helpers/graphql_type_helper.rb

@@ -7,9 +7,10 @@ module Tapioca
       module GraphqlTypeHelper
         extend self
 
-        extend T::Sig
-
-        #: (GraphQL::Schema::Argument argument, (singleton(GraphQL::Schema::Mutation) | singleton(GraphQL::Schema::InputObject)) constant) -> String
+        #: (
+        #|   GraphQL::Schema::Argument argument,
+        #|   (singleton(GraphQL::Schema::Mutation) | singleton(GraphQL::Schema::InputObject)) constant
+        #| ) -> String
         def type_for_argument(argument, constant)
           type = if argument.loads
             loads_type = ::GraphQL::Schema::Wrapper.new(argument.loads)
@@ -34,7 +35,19 @@ module Tapioca
           )
         end
 
-        #: ((GraphQL::Schema::Wrapper | singleton(GraphQL::Schema::Scalar) | singleton(GraphQL::Schema::Enum) | singleton(GraphQL::Schema::Union) | singleton(GraphQL::Schema::Object) | singleton(GraphQL::Schema::Interface) | singleton(GraphQL::Schema::InputObject)) type, ?ignore_nilable_wrapper: bool, ?prepare_method: Method?) -> String
+        #: (
+        #|   (
+        #|     GraphQL::Schema::Wrapper |
+        #|     singleton(GraphQL::Schema::Scalar) |
+        #|     singleton(GraphQL::Schema::Enum) |
+        #|     singleton(GraphQL::Schema::Union) |
+        #|     singleton(GraphQL::Schema::Object) |
+        #|     singleton(GraphQL::Schema::Interface) |
+        #|     singleton(GraphQL::Schema::InputObject)
+        #|   ) type,
+        #|   ?ignore_nilable_wrapper: bool,
+        #|   ?prepare_method: Method?
+        #| ) -> String
         def type_for(type, ignore_nilable_wrapper: false, prepare_method: nil)
           unwrapped_type = type.unwrap
 
@@ -97,7 +110,7 @@ module Tapioca
 
         private
 
-        #: (Module constant) -> String
+        #: (T::Module[top] constant) -> String
         def type_for_constant(constant)
           if constant.instance_methods.include?(:prepare)
             prepare_method = constant.instance_method(:prepare)

data/lib/tapioca/dsl/pipeline.rb

@@ -4,18 +4,16 @@
 module Tapioca
   module Dsl
     class Pipeline
-      extend T::Sig
-
-      #: T::Enumerable[singleton(Compiler)]
+      #: Enumerable[singleton(Compiler)]
       attr_reader :active_compilers
 
-      #: Array[Module]
+      #: Array[T::Module[top]]
       attr_reader :requested_constants
 
       #: Array[Pathname]
       attr_reader :requested_paths
 
-      #: Array[Module]
+      #: Array[T::Module[top]]
       attr_reader :skipped_constants
 
       #: ^(String error) -> void
@@ -24,7 +22,17 @@ module Tapioca
       #: Array[String]
       attr_reader :errors
 
-      #: (requested_constants: Array[Module], ?requested_paths: Array[Pathname], ?requested_compilers: Array[singleton(Compiler)], ?excluded_compilers: Array[singleton(Compiler)], ?error_handler: ^(String error) -> void, ?skipped_constants: Array[Module], ?number_of_workers: Integer?, ?compiler_options: Hash[String, untyped], ?lsp_addon: bool) -> void
+      #: (
+      #|   requested_constants: Array[T::Module[top]],
+      #|   ?requested_paths: Array[Pathname],
+      #|   ?requested_compilers: Array[singleton(Compiler)],
+      #|   ?excluded_compilers: Array[singleton(Compiler)],
+      #|   ?error_handler: ^(String error) -> void,
+      #|   ?skipped_constants: Array[T::Module[top]],
+      #|   ?number_of_workers: Integer?,
+      #|   ?compiler_options: Hash[String, untyped],
+      #|   ?lsp_addon: bool
+      #| ) -> void
       def initialize(
         requested_constants:,
         requested_paths: [],
@@ -48,7 +56,7 @@ module Tapioca
         @errors = [] #: Array[String]
       end
 
-      #: [T] { (Module constant, RBI::File rbi) -> T } -> Array[T]
+      #: [R] { (T::Module[top] constant, RBI::File rbi) -> R } -> Array[R]
       def run(&blk)
         constants_to_process = gather_constants(requested_constants, requested_paths, skipped_constants)
           .select { |c| Module === c } # Filter value constants out
@@ -111,7 +119,7 @@ module Tapioca
 
       private
 
-      #: (Array[singleton(Compiler)] requested_compilers, Array[singleton(Compiler)] excluded_compilers) -> T::Enumerable[singleton(Compiler)]
+      #: (Array[singleton(Compiler)] requested_compilers, Array[singleton(Compiler)] excluded_compilers) -> Enumerable[singleton(Compiler)]
       def gather_active_compilers(requested_compilers, excluded_compilers)
         active_compilers = compilers
         active_compilers -= excluded_compilers
@@ -119,7 +127,11 @@ module Tapioca
         active_compilers
       end
 
-      #: (Array[Module] requested_constants, Array[Pathname] requested_paths, Array[Module] skipped_constants) -> Set[Module]
+      #: (
+      #|   Array[T::Module[top]] requested_constants,
+      #|   Array[Pathname] requested_paths,
+      #|   Array[T::Module[top]] skipped_constants
+      #| ) -> Set[T::Module[top]]
       def gather_constants(requested_constants, requested_paths, skipped_constants)
         Compiler.requested_constants = requested_constants
         constants = Set.new.compare_by_identity
@@ -141,14 +153,14 @@ module Tapioca
         constants
       end
 
-      #: (Set[Module] constants) -> Set[Module]
+      #: (Set[T::Module[top]] constants) -> Set[T::Module[top]]
       def filter_anonymous_and_reloaded_constants(constants)
         # Group constants by their names
         constants_by_name = constants
           .group_by { |c| Runtime::Reflection.name_of(c) }
           .select { |name, _| !name.nil? }
 
-        constants_by_name = T.cast(constants_by_name, T::Hash[String, T::Array[Module]])
+        constants_by_name = T.cast(constants_by_name, T::Hash[String, T::Array[T::Module[T.anything]]])
 
         # Find the constants that have been reloaded
         reloaded_constants = constants_by_name.select { |_, constants| constants.size > 1 }.keys
@@ -164,13 +176,13 @@ module Tapioca
         # set of constants that are actually in memory with those names.
         filtered_constants = constants_by_name
           .keys
-          .map { |name| T.cast(Runtime::Reflection.constantize(name), Module) }
+          .map { |name| T.cast(Runtime::Reflection.constantize(name), T::Module[T.anything]) }
           .select { |mod| Runtime::Reflection.constant_defined?(mod) }
 
         Set.new.compare_by_identity.merge(filtered_constants)
       end
 
-      #: (Module constant) -> RBI::File?
+      #: (T::Module[top] constant) -> RBI::File?
       def rbi_for_constant(constant)
         file = RBI::File.new(strictness: "true")
 

data/lib/tapioca/executor.rb

@@ -3,8 +3,6 @@
 
 module Tapioca
   class Executor
-    extend T::Sig
-
     MINIMUM_ITEMS_PER_WORKER = 2 #: Integer
 
     #: (Array[untyped] queue, ?number_of_workers: Integer?) -> void

data/lib/tapioca/gem/events.rb

@@ -5,12 +5,9 @@ module Tapioca
   module Gem
     # @abstract
     class Event
-      extend T::Sig
     end
 
     class SymbolFound < Event
-      extend T::Sig
-
       #: String
       attr_reader :symbol
 
@@ -22,8 +19,6 @@ module Tapioca
     end
 
     class ConstantFound < Event
-      extend T::Sig
-
       #: String
       attr_reader :symbol
 
@@ -41,15 +36,13 @@ module Tapioca
     end
 
     class ForeignConstantFound < ConstantFound
-      extend T::Sig
-
       # @override
-      #: -> Module
+      #: -> T::Module[top]
       def constant
-        T.cast(@constant, Module)
+        T.cast(@constant, T::Module[T.anything])
       end
 
-      #: (String symbol, Module constant) -> void
+      #: (String symbol, T::Module[top] constant) -> void
       def initialize(symbol, constant)
         super
       end
@@ -57,15 +50,13 @@ module Tapioca
 
     # @abstract
     class NodeAdded < Event
-      extend T::Sig
-
       #: String
       attr_reader :symbol
 
-      #: Module
+      #: T::Module[top]
       attr_reader :constant
 
-      #: (String symbol, Module constant) -> void
+      #: (String symbol, T::Module[top] constant) -> void
       def initialize(symbol, constant)
         super()
         @symbol = symbol
@@ -74,12 +65,10 @@ module Tapioca
     end
 
     class ConstNodeAdded < NodeAdded
-      extend T::Sig
-
       #: RBI::Const
       attr_reader :node
 
-      #: (String symbol, Module constant, RBI::Const node) -> void
+      #: (String symbol, T::Module[top] constant, RBI::Const node) -> void
       def initialize(symbol, constant, node)
         super(symbol, constant)
         @node = node
@@ -87,12 +76,10 @@ module Tapioca
     end
 
     class ScopeNodeAdded < NodeAdded
-      extend T::Sig
-
       #: RBI::Scope
       attr_reader :node
 
-      #: (String symbol, Module constant, RBI::Scope node) -> void
+      #: (String symbol, T::Module[top] constant, RBI::Scope node) -> void
       def initialize(symbol, constant, node)
         super(symbol, constant)
         @node = node
@@ -102,8 +89,6 @@ module Tapioca
     class ForeignScopeNodeAdded < ScopeNodeAdded; end
 
     class MethodNodeAdded < NodeAdded
-      extend T::Sig
-
       #: UnboundMethod
       attr_reader :method
 
@@ -116,7 +101,14 @@ module Tapioca
       #: Array[[Symbol, String]]
       attr_reader :parameters
 
-      #: (String symbol, Module constant, UnboundMethod method, RBI::Method node, untyped signature, Array[[Symbol, String]] parameters) -> void
+      #: (
+      #|   String symbol,
+      #|   T::Module[top] constant,
+      #|   UnboundMethod method,
+      #|   RBI::Method node,
+      #|   untyped signature,
+      #|   Array[[Symbol, String]] parameters
+      #| ) -> void
       def initialize(symbol, constant, method, node, signature, parameters) # rubocop:disable Metrics/ParameterLists
         super(symbol, constant)
         @node = node

data/lib/tapioca/gem/listeners/base.rb

@@ -6,7 +6,6 @@ module Tapioca
     module Listeners
       # @abstract
       class Base
-        extend T::Sig
         #: (Pipeline pipeline) -> void
         def initialize(pipeline)
           @pipeline = pipeline

data/lib/tapioca/gem/listeners/dynamic_mixins.rb

@@ -5,8 +5,6 @@ module Tapioca
   module Gem
     module Listeners
       class DynamicMixins < Base
-        extend T::Sig
-
         include Runtime::Reflection
 
         private

data/lib/tapioca/gem/listeners/foreign_constants.rb

@@ -5,8 +5,6 @@ module Tapioca
   module Gem
     module Listeners
       class ForeignConstants < Base
-        extend T::Sig
-
         include Runtime::Reflection
 
         private

data/lib/tapioca/gem/listeners/methods.rb

@@ -5,8 +5,6 @@ module Tapioca
   module Gem
     module Listeners
       class Methods < Base
-        extend T::Sig
-
         include RBIHelper
         include Runtime::Reflection
 
@@ -24,7 +22,13 @@ module Tapioca
           compile_directly_owned_methods(node, symbol, singleton_class_of(constant), attached_class: constant)
         end
 
-        #: (RBI::Tree tree, String module_name, Module mod, ?Array[Symbol] for_visibility, ?attached_class: Module?) -> void
+        #: (
+        #|   RBI::Tree tree,
+        #|   String module_name,
+        #|   T::Module[top] mod,
+        #|   ?Array[Symbol] for_visibility,
+        #|   ?attached_class: T::Module[top]?
+        #| ) -> void
         def compile_directly_owned_methods(
           tree,
           module_name,
@@ -52,7 +56,13 @@ module Tapioca
             end
         end
 
-        #: (RBI::Tree tree, String symbol_name, Module constant, UnboundMethod? method, ?RBI::Visibility visibility) -> void
+        #: (
+        #|   RBI::Tree tree,
+        #|   String symbol_name,
+        #|   T::Module[top] constant,
+        #|   UnboundMethod? method,
+        #|   ?RBI::Visibility visibility
+        #| ) -> void
         def compile_method(tree, symbol_name, constant, method, visibility = RBI::Public.new)
           return unless method
           return unless method_owned_by_constant?(method, constant)
@@ -159,7 +169,7 @@ module Tapioca
         # This method implements a better way of checking whether a constant defines a method.
         # 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.
-        #: (UnboundMethod method, Module constant) -> bool
+        #: (UnboundMethod method, T::Module[top] constant) -> bool
         def method_owned_by_constant?(method, constant)
           # Widen the type of `method` to be nilable
           method = method #: UnboundMethod?
@@ -173,7 +183,7 @@ module Tapioca
           false
         end
 
-        #: (Module mod) -> Hash[Symbol, Array[Symbol]]
+        #: (T::Module[top] mod) -> Hash[Symbol, Array[Symbol]]
         def method_names_by_visibility(mod)
           {
             public: public_instance_methods_of(mod),
@@ -182,7 +192,7 @@ module Tapioca
           }
         end
 
-        #: (Module constant, String method_name) -> bool
+        #: (T::Module[top] constant, String method_name) -> bool
         def struct_method?(constant, method_name)
           return false unless T::Props::ClassMethods === constant
 
@@ -192,7 +202,7 @@ module Tapioca
             .include?(method_name.gsub(/=$/, "").to_sym)
         end
 
-        #: (Module? attached_class, Symbol method_name) -> bool?
+        #: (T::Module[top]? attached_class, Symbol method_name) -> bool?
         def method_new_in_abstract_class?(attached_class, method_name)
           attached_class &&
             method_name == :new &&
@@ -200,7 +210,7 @@ module Tapioca
             Class === attached_class.singleton_class
         end
 
-        #: (Module constant) -> UnboundMethod?
+        #: (T::Module[top] constant) -> UnboundMethod?
         def initialize_method_for(constant)
           constant.instance_method(:initialize)
         rescue