tapioca 0.17.8 → 0.17.10

data/lib/tapioca/runtime/reflection.rb

@@ -32,7 +32,7 @@ module Tapioca
       PROTECTED_INSTANCE_METHODS_METHOD = Module.instance_method(:protected_instance_methods) #: UnboundMethod
       PRIVATE_INSTANCE_METHODS_METHOD = Module.instance_method(:private_instance_methods) #: UnboundMethod
       METHOD_METHOD = Kernel.instance_method(:method) #: UnboundMethod
-      UNDEFINED_CONSTANT = Module.new.freeze #: Module
+      UNDEFINED_CONSTANT = Module.new.freeze #: T::Module[top]
 
       REQUIRED_FROM_LABELS = ["<top (required)>", "<main>", "<compiled>"].freeze #: Array[String]
 
@@ -43,7 +43,7 @@ module Tapioca
       end
 
       # @without_runtime
-      #: (String symbol, ?inherit: bool, ?namespace: Module) -> BasicObject
+      #: (String symbol, ?inherit: bool, ?namespace: T::Module[top]) -> BasicObject
       def constantize(symbol, inherit: false, namespace: Object)
         namespace.const_get(symbol, inherit)
       rescue NameError, LoadError, RuntimeError, ArgumentError, TypeError
@@ -55,23 +55,23 @@ module Tapioca
         CLASS_METHOD.bind_call(object)
       end
 
-      #: (Module constant) -> Array[Symbol]
+      #: (T::Module[top] constant) -> Array[Symbol]
       def constants_of(constant)
         CONSTANTS_METHOD.bind_call(constant, false)
       end
 
-      #: (Module constant) -> String?
+      #: (T::Module[top] constant) -> String?
       def name_of(constant)
         name = NAME_METHOD.bind_call(constant)
         name&.start_with?("#<") ? nil : name
       end
 
-      #: (Module constant) -> Class[top]
+      #: (T::Module[top] constant) -> Class[top]
       def singleton_class_of(constant)
         SINGLETON_CLASS_METHOD.bind_call(constant)
       end
 
-      #: (Module constant) -> Array[Module]
+      #: (T::Module[top] constant) -> Array[T::Module[top]]
       def ancestors_of(constant)
         ANCESTORS_METHOD.bind_call(constant)
       end
@@ -91,22 +91,22 @@ module Tapioca
         EQUAL_METHOD.bind_call(object, other)
       end
 
-      #: (Module constant) -> Array[Symbol]
+      #: (T::Module[top] constant) -> Array[Symbol]
       def public_instance_methods_of(constant)
         PUBLIC_INSTANCE_METHODS_METHOD.bind_call(constant)
       end
 
-      #: (Module constant) -> Array[Symbol]
+      #: (T::Module[top] constant) -> Array[Symbol]
       def protected_instance_methods_of(constant)
         PROTECTED_INSTANCE_METHODS_METHOD.bind_call(constant)
       end
 
-      #: (Module constant) -> Array[Symbol]
+      #: (T::Module[top] constant) -> Array[Symbol]
       def private_instance_methods_of(constant)
         PRIVATE_INSTANCE_METHODS_METHOD.bind_call(constant)
       end
 
-      #: (Module constant) -> Array[Module]
+      #: (T::Module[top] constant) -> Array[T::Module[top]]
       def inherited_ancestors_of(constant)
         if Class === constant
           ancestors_of(superclass_of(constant) || Object)
@@ -115,7 +115,7 @@ module Tapioca
         end
       end
 
-      #: (Module constant) -> String?
+      #: (T::Module[top] constant) -> String?
       def qualified_name_of(constant)
         name = name_of(constant)
         return if name.nil?
@@ -148,7 +148,7 @@ module Tapioca
         type.to_s
       end
 
-      #: (Module constant, Symbol method) -> Method
+      #: (T::Module[top] constant, Symbol method) -> Method
       def method_of(constant, method)
         METHOD_METHOD.bind_call(constant, method)
       end
@@ -217,32 +217,32 @@ module Tapioca
         SourceLocation.from_loc([file, resolved_loc.lineno])
       end
 
-      #: (Module constant) -> Set[String]
+      #: (T::Module[top] constant) -> Set[String]
       def file_candidates_for(constant)
         relevant_methods_for(constant).filter_map do |method|
           method.source_location&.first
         end.to_set
       end
 
-      #: (Module constant) -> untyped
+      #: (T::Module[top] constant) -> untyped
       def abstract_type_of(constant)
         T::Private::Abstract::Data.get(constant, :abstract_type) ||
           T::Private::Abstract::Data.get(singleton_class_of(constant), :abstract_type)
       end
 
-      #: (Module constant) -> bool
+      #: (T::Module[top] constant) -> bool
       def final_module?(constant)
         T::Private::Final.final_module?(constant)
       end
 
-      #: (Module constant) -> bool
+      #: (T::Module[top] constant) -> bool
       def sealed_module?(constant)
         T::Private::Sealed.sealed_module?(constant)
       end
 
       private
 
-      #: (Module constant) -> Array[UnboundMethod]
+      #: (T::Module[top] constant) -> Array[UnboundMethod]
       def relevant_methods_for(constant)
         methods = methods_for(constant).select(&:source_location)
           .reject { |x| method_defined_by_forwardable_module?(x) }
@@ -258,7 +258,7 @@ module Tapioca
         end
       end
 
-      #: (Module constant) -> Array[UnboundMethod]
+      #: (T::Module[top] constant) -> Array[UnboundMethod]
       def methods_for(constant)
         modules = [constant, singleton_class_of(constant)]
         method_list_methods = [
@@ -272,7 +272,7 @@ module Tapioca
         end
       end
 
-      #: (Module parent, String name) -> Module?
+      #: (T::Module[top] parent, String name) -> T::Module[top]?
       def child_module_for_parent_with_name(parent, name)
         return if parent.autoload?(name)
 

data/lib/tapioca/runtime/trackers/autoload.rb

@@ -15,7 +15,7 @@ module Tapioca
 
           #: -> void
           def eager_load_all!
-            Tapioca.with_disabled_exits do
+            Runtime.with_disabled_exits do
               until @constant_names_registered_for_autoload.empty?
                 # Grab the next constant name
                 constant_name = T.must(@constant_names_registered_for_autoload.shift)

data/lib/tapioca/runtime/trackers/constant_definition.rb

@@ -13,7 +13,7 @@ module Tapioca
         extend Reflection
         extend T::Sig
 
-        @class_files = {}.compare_by_identity #: Hash[Module, Set[SourceLocation]]
+        @class_files = {}.compare_by_identity #: Hash[T::Module[top], Set[SourceLocation]]
 
         # Immediately activated upon load. Observes class/module definition.
         @class_tracepoint = TracePoint.trace(:class) do |tp|
@@ -70,12 +70,12 @@ module Tapioca
           # Returns the files in which this class or module was opened. Doesn't know
           # about situations where the class was opened prior to +require+ing,
           # or where metaprogramming was used via +eval+, etc.
-          #: (Module klass) -> Set[String]
+          #: (T::Module[top] klass) -> Set[String]
           def files_for(klass)
             locations_for(klass).map(&:file).to_set
           end
 
-          #: (Module klass) -> Set[SourceLocation]
+          #: (T::Module[top] klass) -> Set[SourceLocation]
           def locations_for(klass)
             @class_files.fetch(klass, Set.new)
           end

data/lib/tapioca/runtime/trackers/method_definition.rb

@@ -8,10 +8,10 @@ module Tapioca
         extend Tracker
         extend T::Sig
 
-        @method_definitions = {}.compare_by_identity #: Hash[Module, Hash[Symbol, Array[SourceLocation]]]
+        @method_definitions = {}.compare_by_identity #: Hash[T::Module[top], Hash[Symbol, Array[SourceLocation]]]
 
         class << self
-          #: (Symbol method_name, Module owner, Array[Thread::Backtrace::Location] locations) -> void
+          #: (Symbol method_name, T::Module[top] owner, Array[Thread::Backtrace::Location] locations) -> void
           def register(method_name, owner, locations)
             return unless enabled?
             # If Sorbet runtime is redefining a method, it sets this to true.
@@ -25,7 +25,7 @@ module Tapioca
             registrations_for(method_name, owner) << loc
           end
 
-          #: (Symbol method_name, Module owner) -> Array[SourceLocation]
+          #: (Symbol method_name, T::Module[top] owner) -> Array[SourceLocation]
           def method_definitions_for(method_name, owner)
             definitions = registrations_for(method_name, owner)
 
@@ -39,7 +39,7 @@ module Tapioca
 
           private
 
-          #: (Symbol method_name, Module owner) -> Array[SourceLocation]
+          #: (Symbol method_name, T::Module[top] owner) -> Array[SourceLocation]
           def registrations_for(method_name, owner)
             owner_lookup = (@method_definitions[owner] ||= {})
             owner_lookup[method_name] ||= []

data/lib/tapioca/runtime/trackers/mixin.rb

@@ -27,7 +27,7 @@ module Tapioca
             with_disabled_tracker(&block)
           end
 
-          #: (Module constant, Module mixin, Type mixin_type) -> void
+          #: (T::Module[top] constant, T::Module[top] mixin, Type mixin_type) -> void
           def register(constant, mixin, mixin_type)
             return unless enabled?
 
@@ -49,19 +49,19 @@ module Tapioca
             attached_class
           end
 
-          #: (Module mixin) -> Hash[Type, Hash[Module, String]]
+          #: (T::Module[top] mixin) -> Hash[Type, Hash[T::Module[top], String]]
           def constants_with_mixin(mixin)
             find_or_initialize_mixin_lookup(mixin)
           end
 
-          #: (Module mixin, Type mixin_type, Module constant) -> String?
+          #: (T::Module[top] mixin, Type mixin_type, T::Module[top] constant) -> String?
           def mixin_location(mixin, mixin_type, constant)
             find_or_initialize_mixin_lookup(mixin).dig(mixin_type, constant)
           end
 
           private
 
-          #: (Module constant, Module mixin, Type mixin_type, String location) -> void
+          #: (T::Module[top] constant, T::Module[top] mixin, Type mixin_type, String location) -> void
           def register_with_location(constant, mixin, mixin_type, location)
             return unless @enabled
 
@@ -69,7 +69,7 @@ module Tapioca
             constants.fetch(mixin_type).store(constant, location)
           end
 
-          #: (Module mixin) -> Hash[Type, Hash[Module, String]]
+          #: (T::Module[top] mixin) -> Hash[Type, Hash[T::Module[top], String]]
           def find_or_initialize_mixin_lookup(mixin)
             @mixins_to_constants[mixin] ||= {
               Type::Prepend => {}.compare_by_identity,

data/lib/tapioca/runtime/trackers/required_ancestor.rb

@@ -19,12 +19,12 @@ module Tapioca
             ancestors << block
           end
 
-          #: (Module mod) -> Array[^-> void]
+          #: (T::Module[top] mod) -> Array[^-> void]
           def required_ancestors_blocks_by(mod)
             @required_ancestors_map[mod] || []
           end
 
-          #: (Module mod) -> Array[untyped]
+          #: (T::Module[top] mod) -> Array[untyped]
           def required_ancestors_by(mod)
             blocks = required_ancestors_blocks_by(mod)
             blocks.map do |block|
@@ -52,7 +52,7 @@ end
 
 module T
   module Helpers
-    prepend(Module.new do
+    prepend(::Module.new do
       def requires_ancestor(&block)
         # We can't directly call the block since the ancestor might not be loaded yet.
         # We save the block in the map and will resolve it later.

data/lib/tapioca/runtime/trackers/tracker.rb

@@ -10,7 +10,7 @@ module Tapioca
         class << self
           extend T::Sig
 
-          #: ((Tracker & Module) base) -> void
+          #: ((Tracker & T::Module[top]) base) -> void
           def extended(base)
             Trackers.register_tracker(base)
             base.instance_exec do

data/lib/tapioca/sorbet_ext/generic_name_patch.rb

@@ -22,7 +22,7 @@ module T
         # `T::Generic#type_member` just instantiates a `T::Type::TypeMember` instance and returns it.
         # We use that when registering the type member and then later return it from this method.
         Tapioca::TypeVariableModule.new(
-          T.cast(self, Module),
+          T.cast(self, ::Module),
           Tapioca::TypeVariableModule::Type::Member,
           variance,
           bounds_proc,
@@ -35,7 +35,7 @@ module T
         # `T::Generic#type_template` just instantiates a `T::Type::TypeTemplate` instance and returns it.
         # We use that when registering the type template and then later return it from this method.
         Tapioca::TypeVariableModule.new(
-          T.cast(self, Module),
+          T.cast(self, ::Module),
           Tapioca::TypeVariableModule::Type::Template,
           variance,
           bounds_proc,
@@ -48,7 +48,7 @@ module T
         Tapioca::Runtime::GenericTypeRegistry.register_type_variable(
           self,
           Tapioca::TypeVariableModule.new(
-            T.cast(self, Module),
+            T.cast(self, ::Module),
             Tapioca::TypeVariableModule::Type::HasAttachedClass,
             variance,
             bounds_proc,
@@ -135,7 +135,7 @@ module Tapioca
     #: Type
     attr_reader :type
 
-    #: (Module context, Type type, Symbol variance, (^-> Hash[Symbol, untyped])? bounds_proc) -> void
+    #: (T::Module[top] context, Type type, Symbol variance, (^-> Hash[Symbol, untyped])? bounds_proc) -> void
     def initialize(context, type, variance, bounds_proc)
       @context = context
       @type = type

data/lib/tapioca/sorbet_ext/name_patch.rb

@@ -5,24 +5,13 @@ module T
   module Types
     class Simple
       module NamePatch
-        NAME_METHOD = Module.instance_method(:name) #: UnboundMethod
-
         def name
           # Sorbet memoizes this method into the `@name` instance variable but
           # doing so means that types get memoized before this patch is applied
-          qualified_name_of(@raw_type)
-        end
-
-        def qualified_name_of(constant)
-          name = NAME_METHOD.bind_call(constant)
-          name = nil if name&.start_with?("#<")
-          return "::T.untyped" if name.nil?
+          name = Tapioca::Runtime::Reflection.qualified_name_of(@raw_type)
+          name = "::T.untyped" if name.nil?
 
-          if name.start_with?("::")
-            name
-          else
-            "::#{name}"
-          end
+          name
         end
       end
 

data/lib/tapioca/static/requires_compiler.rb

@@ -40,7 +40,7 @@ module Tapioca
         end.sort.uniq
       end
 
-      #: (String file_path) -> T::Enumerable[String]
+      #: (String file_path) -> Enumerable[String]
       def collect_requires(file_path)
         File.binread(file_path).lines.filter_map do |line|
           /^\s*require\s*(\(\s*)?['"](?<name>[^'"]+)['"](\s*\))?/.match(line) { |m| m["name"] }

data/lib/tapioca/version.rb

@@ -2,5 +2,5 @@
 # frozen_string_literal: true
 
 module Tapioca
-  VERSION = "0.17.8"
+  VERSION = "0.17.10"
 end

data/lib/tapioca.rb

@@ -9,42 +9,6 @@ module Tapioca
 
   @traces = [] #: Array[TracePoint]
 
-  NOOP_METHOD = ->(*_args, **_kwargs, &_block) {} #: ^() -> void
-  private_constant :NOOP_METHOD
-
-  class << self
-    extend T::Sig
-
-    #: [Result] { -> Result } -> Result
-    def silence_warnings(&blk)
-      original_verbosity = $VERBOSE
-      $VERBOSE = nil
-      ::Gem::DefaultUserInteraction.use_ui(::Gem::SilentUI.new) do
-        blk.call
-      end
-    ensure
-      $VERBOSE = original_verbosity
-    end
-
-    #: [Result] { -> Result } -> Result
-    def with_disabled_exits(&block)
-      original_abort = Kernel.instance_method(:abort)
-      original_exit = Kernel.instance_method(:exit)
-
-      begin
-        Kernel.define_method(:abort, NOOP_METHOD)
-        Kernel.define_method(:exit, NOOP_METHOD)
-
-        Tapioca.silence_warnings do
-          block.call
-        end
-      ensure
-        Kernel.define_method(:exit, original_exit)
-        Kernel.define_method(:abort, original_abort)
-      end
-    end
-  end
-
   class Error < StandardError; end
 
   LIB_ROOT_DIR = T.must(__dir__) #: String

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: tapioca
 version: !ruby/object:Gem::Version
-  version: 0.17.8
+  version: 0.17.10
 platform: ruby
 authors:
 - Ufuk Kayserilioglu
@@ -69,89 +69,89 @@ dependencies:
       - !ruby/object:Gem::Version
         version: 1.21.0
 - !ruby/object:Gem::Dependency
-  name: rbi
+  name: require-hooks
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.1
+        version: 0.2.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.1
+        version: 0.2.2
 - !ruby/object:Gem::Dependency
-  name: require-hooks
+  name: sorbet-static-and-runtime
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.2.2
+        version: 0.5.11087
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.2.2
+        version: 0.5.11087
 - !ruby/object:Gem::Dependency
-  name: sorbet-static-and-runtime
+  name: thor
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.5.11087
+        version: 1.2.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.5.11087
+        version: 1.2.0
 - !ruby/object:Gem::Dependency
-  name: spoom
+  name: yard-sorbet
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.7.0
+        version: '0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.7.0
+        version: '0'
 - !ruby/object:Gem::Dependency
-  name: thor
+  name: rbi
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.2.0
+        version: 0.3.7
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.2.0
+        version: 0.3.7
 - !ruby/object:Gem::Dependency
-  name: yard-sorbet
+  name: spoom
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.7.9
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '0'
+        version: 1.7.9
 email:
 - ruby@shopify.com
 executables:
@@ -280,6 +280,7 @@ files:
 - lib/tapioca/runtime/attached_class_of_legacy.rb
 - lib/tapioca/runtime/dynamic_mixin_compiler.rb
 - lib/tapioca/runtime/generic_type_registry.rb
+- lib/tapioca/runtime/helpers.rb
 - lib/tapioca/runtime/reflection.rb
 - lib/tapioca/runtime/source_location.rb
 - lib/tapioca/runtime/trackers.rb