update module

Author: sampersand

core/module.rbs

@@ -348,7 +348,7 @@ class Module
   #
   # Files that are currently being loaded must not be registered for autoload.
   #
-  def autoload: (interned constant, String filename) -> NilClass
+  def autoload: (interned constant, path filename) -> nil
 
   # <!--
   #   rdoc-file=load.c
@@ -829,7 +829,7 @@ class Module
 
   # <!--
   #   rdoc-file=object.c
-  #   -   (othermod)
+  #   - extended(othermod)
   # -->
   # The equivalent of `included`, but for extended modules.
   #

lib/rbs/unit_test/type_assertions.rb

@@ -296,8 +296,13 @@ def assert_const_type(type, constant_name)
         assert typecheck.value(constant, definition_type), "`#{constant_name}` (#{constant.inspect}) must be compatible with RBS type definition `#{definition_type}`"
       end
 
-      def assert_visibility(vis, receiver, method)
-        puts 'TODO: visibility for types'
+      def assert_visibility(visibility, receiver, method)
+        _, definition = target
+        method_entry = definition.methods[method]
+
+        assert method_entry, "Method `#{method}` not found in RBS definition"
+        assert_equal visibility, method_entry.accessibility,
+          "Expected `#{method}` to be #{visibility}, but was #{method_entry.accessibility}"
       end
 
       def assert_type(type, value)

test/stdlib/Module_test.rb

@@ -511,11 +511,35 @@ def test_ancestors
   end
 
   def test_autoload
-    omit 'todo'
+    with_interned :Constant do |constant|
+      with_path do |path|
+        assert_send_type  '(interned, path) -> nil',
+                          Module.new, :autoload, constant, path
+      end
+    end
   end
 
   def test_autoload?
-    omit 'todo'
+    autoloaded = Module.new
+    autoloaded.autoload(:Constant, 'Bar')
+
+    with_interned :Constant do |constant|
+      assert_send_type  '(interned) -> nil',
+                        Module.new, :autoload?, constant
+      assert_send_type  '(interned) -> String',
+                        autoloaded, :autoload?, constant
+      assert_send_type  '(interned) -> String',
+                        Module.new.include(autoloaded), :autoload?, constant
+
+      with_boolish do |inherit|
+        assert_send_type  '(interned, boolish) -> nil',
+                          Module.new, :autoload?, constant, inherit
+        assert_send_type  '(interned, boolish) -> String',
+                          autoloaded, :autoload?, constant, inherit
+        assert_send_type  '(interned, boolish) -> String?',
+                          Module.new.include(autoloaded), :autoload?, constant, inherit
+      end
+    end
   end
 
   def test_class_variable_defined?
@@ -1264,6 +1288,6 @@ def test_using
                       Module.new, :using
 
     # Cant actually test `using` in modules, so this is the best we got
-    assert_type 'Module', UsingModule::UsingModule
+    assert_type 'Module', UsingModule::UsingReturnValue
   end
 end